aac-tactics 0.2.pl2-2 source package in Ubuntu
Changelog
aac-tactics (0.2.pl2-2) unstable; urgency=low
* Upload to unstable
aac-tactics (0.2.pl2-1) experimental; urgency=low
* New upstream release
- remove patch (applied upstream)
aac-tactics (0.1-r13244-1) experimental; urgency=low
* Initial release (Closes: #605487)
-- Ubuntu Archive Auto-Sync <email address hidden> Wed, 04 May 2011 09:04:46 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Oneiric
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| aac-tactics_0.2.pl2.orig.tar.gz | 75.6 KiB | 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 |
| aac-tactics_0.2.pl2-2.debian.tar.gz | 2.5 KiB | cd2f455f4a7742be47a1320a4cf73e0c80c9c6a8397196b24a6a3b064a867629 |
| aac-tactics_0.2.pl2-2.dsc | 2.0 KiB | 1cff088507cf25ed38f7106a0788a1bebbe58ecfbd45090c0e8f2c0e251857a8 |
Binary packages built by this source
- libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu oneiric.
No description available for libaac-tactics-coq in ubuntu oneiric.
- libaac-tactics-ocaml: No summary available for libaac-tactics-ocaml in ubuntu oneiric.
No description available for libaac-
tactics- ocaml in ubuntu oneiric.
- libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu oneiric.
No description available for libaac-
tactics- ocaml-dev in ubuntu oneiric.
