coq binary package in Ubuntu Intrepid amd64
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2013-02-20 03:30:20 UTC | Obsolete | Ubuntu Intrepid amd64 | release | universe | math | Optional | 8.1.pl3+dfsg-1build1 | ||
|
|||||||||
2008-05-27 14:04:29 UTC | Superseded | Ubuntu Intrepid amd64 | release | universe | math | Optional | 8.1.pl3+dfsg-1 | ||
|