Tree @debian/1%8.3pl1-3 (Download .tar.gz)
- Ct2
- debian
- Expansions
- FnElem
- Others
- .gitignore
- AllFloat.v
- Closest.v
- Closest2Plus.v
- Closest2Prop.v
- ClosestMult.v
- ClosestPlus.v
- ClosestProp.v
- Digit.v
- Faux.v
- Fbound.v
- Fcomp.v
- Finduct.v
- Float.v
- Fmin.v
- Fnorm.v
- Fodd.v
- Fop.v
- FPred.v
- Fprop.v
- Fround.v
- FroundMult.v
- FroundPlus.v
- FroundProp.v
- FSucc.v
- Makefile
- MSB.v
- MSBProp.v
- Option.v
- Paux.v
- RND.v
- Rpow.v
- sTactic.v
- Zdivides.v
- Zenum.v
Commit History @debian/1%8.3pl1-3
- Prepare upload to unstable Stephane Glondu 12 years ago
- Recompile with camlp5 6.04 (no changes) Stephane Glondu 12 years ago
- Update changelog and prepare upload to unstable Stephane Glondu 12 years ago
- Remove obsolete patch Stephane Glondu 12 years ago
- New upstream release Stephane Glondu 12 years ago
- Merge commit 'upstream/8.3pl1' Stephane Glondu 12 years ago
- Imported Upstream version 8.3pl1 Stephane Glondu 12 years ago
- Imported Upstream version 8.3 Stephane Glondu 12 years ago
- Rebuild with Coq 8.3pl3 (no source changes) Stephane Glondu 12 years ago
- Prepare upload to unstable Stephane Glondu 12 years ago
- Bump Standards-Version to 3.9.2 (no changes) Stephane Glondu 12 years ago
- Merge branch 'sid/master' Stephane Glondu 13 years ago
- Update changelog and prepare upload to unstable Stephane Glondu 13 years ago
- Rebuild with new coq (no changes) Stephane Glondu 13 years ago
- Ignore .pc when scanning for .v files... Stephane Glondu 13 years ago
- Update changelog Stephane Glondu 13 years ago
- Various updates Stephane Glondu 13 years ago
- Add patch to fix build with Coq 8.3 Stephane Glondu 13 years ago
- Update watch file, bump SV, prepare upload to unstable Stephane Glondu 13 years ago
- Prepare upload to unstable Stephane Glondu 14 years ago
- Move *.vo files to user-contrib/Float + various updates Stephane Glondu 14 years ago
- Rebuild with Coq 8.2pl1 Stephane Glondu 14 years ago
- Prepare upload to unstable Stephane Glondu 14 years ago
- Update changelog and prepare upload to unstable Stephane Glondu 15 years ago
- More detailed long description Stephane Glondu 15 years ago
- Set Maintainer to d-o-m, add myself to Uploaders and add DMUA Stephane Glondu 15 years ago
- Switch copyright to machine-parsable format Stephane Glondu 15 years ago
- More extensive use of debhelper 7, add build cache Stephane Glondu 15 years ago
- New Upstream Version Stephane Glondu 15 years ago
- Merge commit 'upstream/8.2-1.2' Stephane Glondu 15 years ago