acl2 4.1-1 source package in Debian
Changelog
acl2 (4.1-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Sun, 05 Sep 2010 00:27:43 +0000
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_4.1-1.dsc | 1.2 KiB | efd2ffa39baef81f9dba7aedeeebab9cd3e3626fa9aa2a2cd643bceb636b4500 |
acl2_4.1.orig.tar.gz | 10.9 MiB | 5ff0cb73dd3c2a1c5ff339174799d4c0762fd2a6aff154f7982ac1758ee7bc21 |
acl2_4.1-1.debian.tar.gz | 17.1 KiB | f6d97d25457f83dd5fa194fa9b81e56f0092cbe8047d9eb1519495cffff6f9e9 |
No changes file available.