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

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

File Name

Size

Date

..

—

—
coq-highschoolgeometry_8.4+20150620-1.debian.tar.xz

2.51KB

2015-08-11 20:18:53

coq-highschoolgeometry_8.4+20150620-1.dsc

1.90KB

2015-08-11 20:18:54

coq-highschoolgeometry_8.4+20150620-1_all.deb

1.41MB

2015-08-11 22:59:07

coq-highschoolgeometry_8.4+20150620.orig.tar.gz

134.62KB

2015-08-11 20:18:54