Tree @debian/8.2-1.2-3 (Download .tar.gz)
- Ct2
- debian
- Expansions
- FnElem
- Others
- 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/8.2-1.2-3
0
»»
- Add Homepage field. Samuel Mimram 15 years ago
- Update compat to 7. Samuel Mimram 15 years ago
- Enforce strict dependency on coq ABI. Samuel Mimram 15 years ago
- Switch packaging to git Samuel Mimram 15 years ago
- Rebuild with latest version of coq. Samuel Mimram 16 years ago
- * add vcs-* fields Stefano Zacchiroli 16 years ago
- Rebuild with latest coq. Samuel Mimram 16 years ago
- Rebuild with latest version of coq. Samuel Mimram 16 years ago
- Use right directory for tags. Samuel Mimram 16 years ago
- Imported Upstream version 8.1-1.0 Samuel Mimram 16 years ago
- New upstream release. Samuel Mimram 16 years ago
- Merge commit 'upstream/8.1-1.0' Samuel Mimram 16 years ago
- Initial upload. Samuel Mimram 16 years ago
- Imported Upstream version 2001 Samuel Mimram 16 years ago
- Preliminary package. Samuel Mimram 16 years ago
0
»»