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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.0pl3+8.1alpha-1_source.changes.bz22006-06-26 15:41 741  
[ ]coq_8.0pl3+8.1alpha-2_source.changes.bz22006-06-26 15:41 666  
[ ]coq_8.0pl3+8.1beta-1_source.changes.bz22006-06-26 15:41 746  
[ ]coq_8.0pl3+8.1beta.2-1_source.changes.bz22006-07-13 23:08 609  
[ ]coq_8.0pl3-2_source.changes.bz22006-06-26 15:41 582  
[ ]coq_8.1+dfsg-1_source.changes.bz22007-02-13 22:10 817  
[ ]coq_8.1+dfsg-2_source.changes.bz22007-04-02 11:50 662  
[ ]coq_8.1+dfsg-3_source.changes.bz22007-05-02 05:54 511  
[ ]coq_8.1+dfsg-4_source.changes.bz22007-05-02 05:54 583  
[ ]coq_8.1+dfsg-5_source.changes.bz22007-05-23 09:15 527  
[ ]coq_8.1+dfsg-6_source.changes.bz22007-07-04 21:12 545  
[ ]coq_8.1.pl1+dfsg-1_source.changes.bz22007-08-19 11:10 555  
[ ]coq_8.1.pl1+dfsg-3_source.changes.bz22007-09-18 17:21 628  
[ ]coq_8.1.pl2+dfsg-1_source.changes.bz22007-10-16 10:08 694  
[ ]coq_8.1.pl2+dfsg-2_source.changes.bz22007-11-17 10:10 526  
[ ]coq_8.1.pl2+dfsg-3_source.changes.bz22007-11-29 21:11 626  
[ ]coq_8.1.pl3+dfsg-1_source.changes.bz22008-01-05 21:12 703  
[ ]coq_8.1~gamma-1_source.changes.bz22006-11-22 02:09 693  
[ ]coq_8.1~gamma-2_source.changes.bz22006-11-24 10:09 583  
[ ]coq_8.1~gamma-3_source.changes.bz22007-02-05 09:10 637  
[ ]coq_8.1~gamma-4_source.changes.bz22007-02-11 21:11 553  
[ ]coq_8.2-1+dfsg-1_source.changes.bz22009-02-28 20:19 850  
[ ]coq_8.2-1+dfsg-2_source.changes.bz22009-07-02 00:21 814  
[ ]coq_8.2.pl1+dfsg-1_source.changes.bz22009-07-04 17:17 678  
[ ]coq_8.2.pl1+dfsg-2_source.changes.bz22009-07-05 16:17 618  
[ ]coq_8.2.pl1+dfsg-3_source.changes.bz22009-08-30 00:25 724  
[ ]coq_8.2.pl1+dfsg-4_source.changes.bz22009-12-05 05:25 816  
[ ]coq_8.2.pl1+dfsg-5_source.changes.bz22010-02-10 18:30 778  
[ ]coq_8.2.pl1+dfsg-6_source.changes.bz22010-02-22 18:47 776  
[ ]coq_8.2.pl2+dfsg-1_source.changes.bz22010-07-03 00:32 1.1K 
[ ]coq_8.2.pl2+dfsg-2_source.changes.bz22011-02-22 01:20 807  
[ ]coq_8.2~beta4+dfsg-1_source.changes.bz22008-08-14 22:15 971  
[ ]coq_8.2~beta4+dfsg-2_source.changes.bz22008-08-15 22:17 598  
[ ]coq_8.2~rc2+dfsg-1_source.changes.bz22009-02-07 21:24 831  
[ ]coq_8.2~rc2+dfsg-2_source.changes.bz22009-02-08 15:25 590  
[ ]coq_8.2~rc2+dfsg-3_source.changes.bz22009-02-09 04:26 601  
[ ]coq_8.3+dfsg-1_source.changes.bz22010-10-16 18:45 949  
[ ]coq_8.3.pl1+dfsg-1_source.changes.bz22010-12-24 17:44 1.0K 
[ ]coq_8.3.pl1+dfsg-2_source.changes.bz22011-02-26 22:21 809  
[ ]coq_8.3.pl2+dfsg-1_source.changes.bz22011-05-01 00:35 952  
[ ]coq_8.3.pl2+dfsg-2_source.changes.bz22011-11-03 07:09 790  
[ ]coq_8.3.pl3+dfsg-1_source.changes.bz22011-12-25 16:40 897  
[ ]coq_8.3.pl3+dfsg-2_source.changes.bz22012-03-04 22:39 770  
[ ]coq_8.3.pl4+dfsg-1_source.changes.bz22012-03-27 11:09 958  
[ ]coq_8.3.pl4+dfsg-2_source.changes.bz22012-06-06 09:35 774  
[ ]coq_8.3~beta0+13298-1_source.changes.bz22010-07-24 13:35 953  
[ ]coq_8.3~beta0+13323-1_source.changes.bz22010-07-25 06:37 942  
[ ]coq_8.3~rc1+dfsg-1_source.changes.bz22010-08-25 17:14 901  
[ ]coq_8.4dfsg-1_source.changes.bz22012-08-20 21:05 881  
[ ]coq_8.4dfsg-2_source.changes.bz22012-09-22 15:35 802  
[ ]coq_8.4pl1dfsg-1_source.changes.bz22012-12-29 21:05 1.0K 
[ ]coq_8.4pl2dfsg-1_source.changes.bz22013-05-08 21:36 891  
[ ]coq_8.4pl2dfsg-2_source.changes.bz22013-07-26 15:36 775  
[ ]coq_8.4pl2dfsg-3_source.changes.bz22013-11-22 22:05 799  
[ ]coq_8.4pl2dfsg-4_source.changes.bz22013-12-04 04:36 748  
[ ]coq_8.4pl3dfsg-1_source.changes.bz22014-01-19 21:38 923  
[ ]coq_8.4pl4dfsg-1_source.changes.bz22014-07-27 22:07 969  
[ ]coq_8.4pl4dfsg-2_source.changes.bz22015-10-14 04:05 760  
[ ]coq_8.4pl4dfsg-3_source.changes.bz22015-10-23 04:10 799  
[ ]coq_8.4~beta+dfsg-1_source.changes.bz22012-01-12 22:56 888  
[ ]coq_8.4~beta+dfsg-2_source.changes.bz22012-01-14 17:20 873  
[ ]coq_8.4~beta+dfsg-3_source.changes.bz22012-01-15 15:52 827  
[ ]coq_8.4~beta+dfsg-4_source.changes.bz22012-04-06 17:10 784  
[ ]coq_8.4~gamma0+really8.4beta2+dfsg-1_source.changes.bz22012-06-06 21:35 933  
[ ]coq_8.5-1_source.changes.bz22016-01-26 22:08 912  
[ ]coq_8.5-2_source.changes.bz22016-01-28 22:37 773  
[ ]coq_8.5~beta2+dfsg-1_source.changes.bz22015-07-16 22:35 1.1K 
[ ]coq_8.5~beta2+dfsg-2_source.changes.bz22015-07-20 16:36 823  
[ ]coq_8.5~beta3+dfsg-1_source.changes.bz22015-11-14 16:05 904  
[ ]coq_8.5~beta3+dfsg-2_source.changes.bz22015-11-14 22:07 776  
[ ]coq_8.6-1_source.changes.bz22016-12-28 15:37 876  
[ ]coq_8.6-2_source.changes.bz22016-12-29 03:37 775  
[ ]coq_8.6-3_source.changes.bz22016-12-29 15:38 751  
[ ]coq_8.6-4_source.changes.bz22016-12-30 03:37 748  
[ ]coq_8.6-5_source.changes.bz22017-09-26 16:12 790  
[ ]coq_8.8.2-1_source.changes.bz22019-01-07 10:37 1.0K 
[ ]coq_8.9.0-1_source.changes.bz22019-02-06 21:36 1.0K 
[ ]coq_8.9.1-1_source.changes.bz22019-08-20 10:05 1.0K 
[ ]coq_8.9.1-2_source.changes.bz22019-11-08 21:35 721  
[ ]coq_8.9.1-3_source.changes.bz22020-01-25 03:35 1.1K 
[ ]coq_8.9.1-4_source.changes.bz22020-01-27 09:35 818  
[ ]coq_8.9.1-5_source.changes.bz22020-01-29 09:05 967  
[ ]coq_8.10.2-1_source.changes.bz22020-01-13 16:05 2.0K 
[ ]coq_8.11.0-1_source.changes.bz22020-03-06 03:35 1.5K 
[ ]coq_8.11.1~pre1-1_source.changes.bz22020-04-16 21:35 1.3K 
[ ]coq_8.12.0-1_source.changes.bz22020-08-22 15:05 1.1K 
[ ]coq_8.12.0-2_source.changes.bz22020-09-06 15:35 821  
[ ]coq_8.12.0-3_source.changes.bz22020-09-10 09:05 734  
[ ]coq_8.14.0+dfsg-1_source.changes.bz22021-11-08 15:07 1.0K 
[ ]coq_8.14.0+dfsg-2_source.changes.bz22021-11-11 21:36 1.0K 
[ ]coq_8.14.0+dfsg-3_source.changes.bz22021-11-13 15:35 961  
[ ]coq_8.14.0+dfsg-4_source.changes.bz22021-11-15 09:05 877  
[ ]coq_8.14.0+dfsg-5_source.changes.bz22021-11-16 09:35 769  
[ ]coq_8.14.0+dfsg-6_source.changes.bz22021-11-16 09:35 778  
[ ]coq_8.14.1+dfsg-1_source.changes.bz22021-12-11 15:08 945  
[ ]coq_8.14.1+dfsg-2_source.changes.bz22022-01-17 15:36 784  
[ ]coq_8.15.0+dfsg-1_source.changes.bz22022-01-17 21:36 929  
[ ]coq_8.15.0+dfsg-2_source.changes.bz22022-02-05 15:37 808  
[ ]coq_8.15.1+dfsg-1_source.changes.bz22022-03-23 03:05 925  
[ ]coq_8.15.1+dfsg-2_source.changes.bz22022-05-20 21:06 805  
[ ]coq_8.15.2+dfsg-1_source.changes.bz22022-06-01 03:36 897  
[ ]coq_8.15.2+dfsg-2_source.changes.bz22022-06-12 03:05 743  
[ ]coq_8.16.0+dfsg-1_source.changes.bz22022-09-06 15:36 900  
[ ]coq_8.16.1+dfsg-1_source.changes.bz22022-11-29 15:06 894  
[ ]coq_8.17.0+dfsg-1_source.changes.bz22023-06-12 09:09 963  
[ ]coq_8.18.0+dfsg-1_source.changes.bz22023-12-21 21:40 1.4K 
[ ]coq_8.19.1+dfsg-1_source.changes.bz22024-04-26 15:40 922  
[ ]coq_8.19.1+dfsg-2_source.changes.bz22024-06-15 08:35 796  
[ ]coq_8.19.1+dfsg-3_source.changes.bz22024-08-03 15:05 773  
[ ]coq_8.20.0+dfsg-1_source.changes.bz22024-11-20 16:09 898  
[ ]coq_8.20.1+dfsg-1_source.changes.bz22025-02-17 21:07 883  
[ ]coq_9.1.0+dfsg-1_source.changes2025-09-21 21:06 1.6K 
[ ]coq_9.1.0+dfsg-2_source.changes2025-10-29 16:32 1.3K 
[ ]coq_9.1.0+dfsg-3_source.changes2025-11-11 21:05 1.3K 
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443