Register
|
Log in
News for package
acl2
[
2010-01-03
]
Accepted acl2 3.6-2 (source all i386)
(
Camm Maguire
)
[
2009-12-17
]
Accepted acl2 3.6-1 (source all i386)
(
Camm Maguire
)
[
2009-06-08
]
acl2 3.4-2 MIGRATED to testing
(
Debian testing watch
)
[
2009-02-23
]
Accepted acl2 3.4-2 (source all i386)
(
Camm Maguire
)
[
2008-12-08
]
acl2 REMOVED from testing
(
Debian testing watch
)
[
2008-08-25
]
Accepted acl2 3.4-1 (source all i386)
(
Camm Maguire
)
[
2008-04-06
]
Accepted acl2 3.3-1.1 (source all i386)
(
Peter Eisentraut
)
[
2007-12-03
]
Accepted acl2 3.3-1 (source all i386)
(
Camm Maguire
)
[
2007-05-17
]
Accepted acl2 3.2-1 (source all i386)
(
Camm Maguire
)
[
2007-01-09
]
acl2 3.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2006-12-04
]
Accepted acl2 3.1-1 (source all i386)
(
Camm Maguire
)
[
2006-10-19
]
Accepted acl2 3.0.1-8 (source all i386)
(
Camm Maguire
)
[
2006-10-18
]
Accepted acl2 3.0.1-7 (source all i386)
(
Camm Maguire
)
[
2006-10-18
]
Accepted acl2 3.0.1-6 (source all i386)
(
Camm Maguire
)
[
2006-10-17
]
Accepted acl2 3.0.1-5 (source all i386)
(
Camm Maguire
)
[
2006-10-12
]
Accepted acl2 3.0.1-4 (source all i386)
(
Camm Maguire
)
[
2006-10-11
]
Accepted acl2 3.0.1-3 (source all i386)
(
Camm Maguire
)
[
2006-08-03
]
Accepted acl2 3.0.1-1 (source all i386)
(
Camm Maguire
)
[
2006-06-10
]
Accepted acl2 3.0-1 (source all i386)
(
Camm Maguire
)
[
2005-10-20
]
Accepted acl2 2.9.3-7 (source all i386)
(
Camm Maguire
)
[
2005-10-13
]
Accepted acl2 2.9.3-6 (source all i386)
(
Camm Maguire
)
[
2005-10-06
]
Accepted acl2 2.9.3-5 (source all i386)
(
Camm Maguire
)
[
2005-10-03
]
Accepted acl2 2.9.3-4 (source all i386)
(
Camm Maguire
)
[
2005-09-29
]
Accepted acl2 2.9.3-3 (source all i386)
(
Camm Maguire
)
[
2005-09-21
]
Accepted acl2 2.9.3-2 (source all i386)
(
Camm Maguire
)
[
2005-08-12
]
Accepted acl2 2.9.3-1 (source all i386)
(
Camm Maguire
)
[
2005-06-10
]
Accepted acl2 2.9.2-1 (i386 source all)
(
Camm Maguire
)
[
2005-02-22
]
Accepted acl2 2.9.1-1 (i386 source all)
(
Camm Maguire
)
[
2004-11-11
]
Accepted acl2 2.9-2 (i386 source all)
(
Camm Maguire
)
[
2004-10-28
]
Accepted acl2 2.9-1 (i386 source all)
(
Camm Maguire
)
1
2
3
4
5
6
