camlp4-extra binary package in Ubuntu Saucy arm64
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-04-24 12:50:55 UTC | Obsolete | Ubuntu Saucy arm64 | release | universe | devel | Optional | 3.12.1-4ubuntu1 | ||
|