Log in / Register
Debian
acl2 package
Overview
Code
Bugs
Blueprints
Translations
Answers
Publishing history of acl2 4.1-1 source package in Debian
4.1-1
Publishing history
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
Date
Status
Target
Pocket
Component
Section
Version
2011-09-20 16:30:42 UTC
Superseded
Sid
release
main
math
4.1-1
Superseded
on 2011-09-20
by acl2 - 4.2-1
Published
on 2010-09-06
1
→
1
of 1 result
First
•
Previous
•
Next
•
Last
«back