Index of /by-release/debian/c/coq-float
Name
Last modified
Size
Description
Parent Directory
-
patches.xml
2020-03-16 15:42
2.7K
coq-float_1:8.4-5.patch.bz2
2015-10-15 04:07
318
coq-float_1:8.4-5.patch-basis
2015-10-15 04:07
8
coq-float_1:8.4-4.patch.bz2
2014-07-30 17:17
311
coq-float_1:8.4-4.patch-basis
2014-07-30 17:17
8
coq-float_1:8.4-2.patch.bz2
2013-12-07 15:36
311
coq-float_1:8.4-2.patch-basis
2013-12-07 15:36
8
coq-float_1:8.4-1.patch.bz2
2013-05-09 03:37
18K
coq-float_1:8.4-1.patch-basis
2013-05-09 03:37
11
coq-float_1:8.3pl1-4.patch.bz2
2012-06-07 03:37
324
coq-float_1:8.3pl1-4.patch-basis
2012-06-07 03:37
11
coq-float_1:8.3pl1-3.patch.bz2
2012-04-09 04:16
36K
coq-float_1:8.3pl1-3.patch-basis
2012-04-09 04:16
12
coq-float_1:8.3pl1-2.patch.bz2
2012-03-17 05:32
36K
coq-float_1:8.3pl1-2.patch-basis
2012-03-17 05:32
12
coq-float_1:8.3pl1-1.patch.bz2
2012-01-20 04:30
36K
coq-float_1:8.3pl1-1.patch-basis
2012-01-20 04:30
12
coq-float_1:8.2-1.2-8.patch.bz2
2011-11-09 20:08
621
coq-float_1:8.2-1.2-8.patch-basis
2011-11-09 20:08
12
coq-float_1:8.2-1.2-6.patch.bz2
2011-03-15 17:06
454
coq-float_1:8.2-1.2-6.patch-basis
2011-03-15 17:06
12
coq-float_1:8.2-1.2-5.patch.bz2
2010-07-06 13:13
837
coq-float_1:8.2-1.2-5.patch-basis
2010-07-06 13:13
12
coq-float_1:8.2-1.2-4.patch.bz2
2010-02-25 18:29
1.6K
coq-float_1:8.2-1.2-4.patch-basis
2010-02-25 18:29
12
coq-float_1:8.2-1.2-3.patch.bz2
2009-07-04 17:22
633
coq-float_1:8.2-1.2-3.patch-basis
2009-07-04 17:22
12
coq-float_1:8.2-1.2-2.patch.bz2
2009-07-02 00:30
578
coq-float_1:8.2-1.2-2.patch-basis
2009-07-02 00:30
12
coq-float_1:8.2-1.2-1.patch-basis
2009-03-13 23:27
12
coq-float_1:8.1-1.0-4.patch-basis
2008-01-19 21:17
12
coq-float_1:8.1-1.0-3.patch-basis
2007-11-19 09:21
12
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443