Index of /by-release/changes-files/ubuntu/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.0pl3-2_source.changes.bz22006-06-26 22:05 582  
[ ]coq_8.0pl3-2ubuntu1_source.changes.bz22007-05-02 13:00 634  
[ ]coq_8.1+dfsg-4_source.changes.bz22007-05-07 15:44 3.7K 
[ ]coq_8.1+dfsg-5_source.changes.bz22007-05-24 18:27 527  
[ ]coq_8.1+dfsg-6_source.changes.bz22007-07-11 14:11 545  
[ ]coq_8.1.pl1+dfsg-3_source.changes.bz22007-10-23 21:20 653  
[ ]coq_8.1.pl2+dfsg-2_source.changes.bz22007-11-19 13:12 674  
[ ]coq_8.1.pl2+dfsg-3_source.changes.bz22007-11-30 14:12 626  
[ ]coq_8.1.pl3+dfsg-1_source.changes.bz22008-01-07 22:12 703  
[ ]coq_8.1.pl3+dfsg-1build1_source.changes.bz22008-05-30 14:12 547  
[ ]coq_8.2-1+dfsg-1_source.changes.bz22009-04-29 01:33 4.8K 
[ ]coq_8.2.pl1+dfsg-2_source.changes.bz22009-07-28 22:23 1.0K 
[ ]coq_8.2.pl1+dfsg-3_source.changes.bz22009-11-12 13:14 918  
[ ]coq_8.2.pl1+dfsg-4_source.changes.bz22009-12-22 21:56 816  
[ ]coq_8.2.pl1+dfsg-6_source.changes.bz22010-02-27 18:30 830  
[ ]coq_8.2.pl2+dfsg-1_source.changes.bz22010-07-27 21:35 1.1K 
[ ]coq_8.2.pl2+dfsg-1ubuntu1_source.changes.bz22010-09-18 21:37 807  
[ ]coq_8.2.pl2+dfsg-1ubuntu2_source.changes.bz22011-05-17 10:04 748  
[ ]coq_8.3.pl2+dfsg-1_source.changes.bz22011-05-19 17:26 1.3K 
[ ]coq_8.3.pl2+dfsg-1build1_source.changes.bz22011-08-25 06:46 765  
[ ]coq_8.3.pl2+dfsg-2_source.changes.bz22011-11-10 19:15 790  
[ ]coq_8.3.pl2+dfsg-2build1_source.changes.bz22011-11-13 09:20 774  
[ ]coq_8.3.pl2+dfsg-2build2_source.changes.bz22011-11-19 15:14 761  
[ ]coq_8.3.pl3+dfsg-1_source.changes.bz22012-01-07 15:09 897  
[ ]coq_8.3.pl3+dfsg-1build1_source.changes.bz22012-01-24 14:16 766  
[ ]coq_8.3.pl4+dfsg-1_source.changes.bz22012-04-03 12:11 1.0K 
[ ]coq_8.3.pl4+dfsg-1build1_source.changes.bz22012-05-22 02:24 776  
[ ]coq_8.3.pl4+dfsg-2_source.changes.bz22012-06-08 15:37 774  
[ ]coq_8.4pl2dfsg-1_source.changes.bz22013-05-26 01:06 1.3K 
[ ]coq_8.4pl2dfsg-4_source.changes.bz22013-12-24 17:37 874  
[ ]coq_8.4pl3dfsg-1_source.changes.bz22014-01-21 07:36 923  
[ ]coq_8.4pl4dfsg-1_source.changes.bz22014-08-15 11:39 969  
[ ]coq_8.4pl4dfsg-3build2_source.changes.bz22015-11-13 13:51 913  
[ ]coq_8.5-2build1_source.changes.bz22016-06-13 09:35 1.2K 
[ ]coq_8.6-4_source.changes.bz22017-01-26 13:47 892  
[ ]coq_8.6-4build2_source.changes.bz22017-07-18 06:11 840  
[ ]coq_8.6-4build3_source.changes.bz22017-09-01 17:42 792  
[ ]coq_8.6-5build1_source.changes.bz22017-11-05 04:24 827  
[ ]coq_8.9.0-1build1_source.changes.bz22019-07-29 23:35 1.1K 
[ ]coq_8.9.1-1_source.changes.bz22019-09-02 22:36 1.0K 
[ ]coq_8.9.1-5ubuntu1_source.changes.bz22020-02-28 05:37 1.5K 
[ ]coq_8.11.0-1_source.changes.bz22020-04-01 08:35 2.4K 
[ ]coq_8.11.0-1build1_source.changes.bz22020-05-13 18:05 765  
[ ]coq_8.12.0-3_source.changes.bz22020-09-30 07:37 1.5K 
[ ]coq_8.12.0-3build1_source.changes.bz22020-10-06 10:05 767  
[ ]coq_8.12.0-3build2_source.changes.bz22020-11-19 20:55 755  
[ ]coq_8.12.0-3build3_source.changes.bz22020-12-03 01:06 767  
[ ]coq_8.14.1+dfsg-1_source.changes.bz22021-12-15 05:06 1.6K 
[ ]coq_8.15.0+dfsg-2_source.changes.bz22022-03-02 19:40 952  
[ ]coq_8.15.1+dfsg-1build1_source.changes.bz22022-05-12 09:38 859  
[ ]coq_8.15.1+dfsg-2_source.changes.bz22022-05-26 11:06 805  
[ ]coq_8.15.2+dfsg-1_source.changes.bz22022-06-03 20:37 897  
[ ]coq_8.15.2+dfsg-2_source.changes.bz22022-06-14 22:06 743  
[ ]coq_8.16.1+dfsg-1_source.changes.bz22022-12-07 04:37 921  
[ ]coq_8.16.1+dfsg-1build1_source.changes.bz22023-01-30 02:36 784  
[ ]coq_8.16.1+dfsg-1build2_source.changes.bz22023-02-28 18:40 785  
[ ]coq_8.17.0+dfsg-1_source.changes.bz22023-06-25 19:10 963  
[ ]coq_8.17.0+dfsg-1build1_source.changes.bz22023-07-31 09:38 779  
[ ]coq_8.17.0+dfsg-1ubuntu1_source.changes.bz22023-11-25 09:37 901  
[ ]coq_8.18.0+dfsg-1_source.changes.bz22024-01-30 05:06 1.4K 
[ ]coq_8.18.0+dfsg-1build1_source.changes.bz22024-03-29 09:18 810  
[ ]coq_8.18.0+dfsg-1build2_source.changes.bz22024-04-10 11:06 820  
[ ]coq_8.19.1+dfsg-1_source.changes.bz22024-05-21 03:36 922  
[ ]coq_8.19.1+dfsg-2_source.changes.bz22024-06-17 23:36 796  
[ ]coq_8.19.1+dfsg-3_source.changes.bz22024-08-06 02:36 773  
[ ]coq_8.19.1+dfsg-3build3_source.changes.bz22024-09-12 12:54 847  
[ ]coq_8.20.0+dfsg-1_source.changes.bz22024-11-27 08:36 898  
[ ]coq_8.20.1+dfsg-1_source.changes.bz22025-02-21 23:45 883  
[ ]coq_8.20.1+dfsg-1build1_source.changes2025-07-03 01:52 1.4K 
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443