Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
coq-float_8.2-1.2-5.debian.tar.gz | 04-Jul-2010 01:42 | 3.0K | ||
coq-float_8.2-1.2-5.dsc | 04-Jul-2010 01:42 | 1.9K | ||
coq-float_8.2-1.2.orig.tar.gz | 13-Mar-2009 19:17 | 315K | ||
libfloat-coq_8.2-1.2-5_all.deb | 04-Jul-2010 01:42 | 10M | ||