Welcome to Capital Online Mirror Site

/ubuntu-security/ubuntu/pool/universe/c/coq-float/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coq-float_8.10.0-1.dsc	1.9 KiB	2020-Mar-19 16:13
coq-float_8.4-3.dsc	1.9 KiB	2014-Jan-21 13:18
coq-float_8.4-5build1.dsc	2.0 KiB	2015-Nov-04 23:29
coq-float_8.4-3.debian.tar.xz	3.3 KiB	2014-Jan-21 13:18
coq-float_8.10.0-1.debian.tar.xz	3.3 KiB	2020-Mar-19 16:13
coq-float_8.4-5build1.debian.tar.xz	3.3 KiB	2015-Nov-04 23:29
coq-float_8.10.0.orig.tar.gz	96.8 KiB	2020-Mar-19 16:13
coq-float_8.4.orig.tar.gz	344.1 KiB	2013-May-09 13:34
libfloat-coq_8.10.0-1_all.deb	1.2 MiB	2020-Mar-19 16:23
libfloat-coq_8.4-3_all.deb	10.9 MiB	2014-Jan-21 13:53
libfloat-coq_8.4-5build1_all.deb	10.9 MiB	2015-Nov-04 23:56

Powered By Capital Online Data Service LTD.  About US  Contact US