ubuntu/pool/universe/c/coq-float • Public Open Source Mirror

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

File Name

Size

Date

..

—

—
coq-float_8.10.0-1.debian.tar.xz

3.28KB

2020-03-19 10:13:18

coq-float_8.10.0-1.dsc

1.90KB

2020-03-19 10:13:17

coq-float_8.10.0.orig.tar.gz

96.82KB

2020-03-19 10:13:18

coq-float_8.4-3.debian.tar.xz

3.25KB

2014-01-21 07:18:34

coq-float_8.4-3.dsc

1.93KB

2014-01-21 07:18:34

coq-float_8.4-5build1.debian.tar.xz

3.34KB

2015-11-04 17:29:06

coq-float_8.4-5build1.dsc

1.96KB

2015-11-04 17:29:06

coq-float_8.4.orig.tar.gz

344.06KB

2013-05-09 08:34:06

libfloat-coq_8.10.0-1_all.deb

1.17MB

2020-03-19 10:23:15

libfloat-coq_8.4-3_all.deb

10.91MB

2014-01-21 07:53:53

libfloat-coq_8.4-5build1_all.deb

10.92MB

2015-11-04 17:56:19