Folder Path

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

0 directories 11 files 23 MiB total

	Name	Size	Modified
	Up
	coq-float_8.10.0-1.debian.tar.xz	3.3 KiB	03/19/2020 08:13:18 AM +00:00
	coq-float_8.10.0-1.dsc	1.9 KiB	03/19/2020 08:13:17 AM +00:00
	coq-float_8.10.0.orig.tar.gz	97 KiB	03/19/2020 08:13:18 AM +00:00
	coq-float_8.4-3.debian.tar.xz	3.3 KiB	01/21/2014 05:18:34 AM +00:00
	coq-float_8.4-3.dsc	1.9 KiB	01/21/2014 05:18:34 AM +00:00
	coq-float_8.4-5build1.debian.tar.xz	3.3 KiB	11/04/2015 03:29:06 PM +00:00
	coq-float_8.4-5build1.dsc	2.0 KiB	11/04/2015 03:29:06 PM +00:00
	coq-float_8.4.orig.tar.gz	344 KiB	05/09/2013 05:34:06 AM +00:00
	libfloat-coq_8.10.0-1_all.deb	1.2 MiB	03/19/2020 08:23:15 AM +00:00
	libfloat-coq_8.4-3_all.deb	11 MiB	01/21/2014 05:53:53 AM +00:00
	libfloat-coq_8.4-5build1_all.deb	11 MiB	11/04/2015 03:56:19 PM +00:00