|
📁 ../
|
- |
- |
|
📄 coq-float_8.10.0-1.debian.tar.xz
|
3360 bytes
|
2020-03-19 11:13:18 |
|
📄 coq-float_8.10.0-1.dsc
|
1947 bytes
|
2020-03-19 11:13:17 |
|
📄 coq-float_8.10.0.orig.tar.gz
|
99147 bytes
|
2020-03-19 11:13:18 |
|
📄 coq-float_8.4-3.debian.tar.xz
|
3332 bytes
|
2014-01-21 09:18:34 |
|
📄 coq-float_8.4-3.dsc
|
1981 bytes
|
2014-01-21 09:18:34 |
|
📄 coq-float_8.4-5build1.debian.tar.xz
|
3424 bytes
|
2015-11-04 18:29:06 |
|
📄 coq-float_8.4-5build1.dsc
|
2010 bytes
|
2015-11-04 18:29:06 |
|
📄 coq-float_8.4.orig.tar.gz
|
352313 bytes
|
2013-05-09 09:34:06 |
|
📄 libfloat-coq_8.10.0-1_all.deb
|
1224024 bytes
|
2020-03-19 11:23:15 |
|
📄 libfloat-coq_8.4-3_all.deb
|
11436338 bytes
|
2014-01-21 09:53:53 |
|
📄 libfloat-coq_8.4-5build1_all.deb
|
11448212 bytes
|
2015-11-04 18:56:19 |