Register
|
Log in
News for package
acl2
[
2010-06-11
]
Accepted acl2 3.6.1-2 (source all i386)
(
Camm Maguire
)
[
2010-06-07
]
Accepted acl2 3.6.1-1 (source all i386)
(
Camm Maguire
)
[
2010-01-31
]
acl2 3.6-4 MIGRATED to testing
(
Debian testing watch
)
[
2010-01-12
]
Accepted acl2 3.6-4 (source all i386)
(
Camm Maguire
)
[
2010-01-04
]
Accepted acl2 3.6-3 (source all i386)
(
Camm Maguire
)
[
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
)
1
2
3
4
5
6
