Register
|
Log in
News for package
acl2
[
2013-01-13
]
Accepted acl2 6.0-1 (source all i386)
(
Camm Maguire
)
[
2012-08-25
]
Accepted acl2 5.0-1 (source all i386)
(
Camm Maguire
)
[
2012-05-05
]
acl2 4.3-3 MIGRATED to testing
(
Debian testing watch
)
[
2012-04-20
]
Accepted acl2 4.3-3 (source all i386)
(
Camm Maguire
)
[
2012-02-01
]
acl2 4.3-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-01-21
]
Accepted acl2 4.3-2 (source all i386)
(
Camm Maguire
)
[
2012-01-11
]
Accepted acl2 4.3-1 (source all i386)
(
Camm Maguire
)
[
2011-05-25
]
acl2 4.2-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-05-14
]
Accepted acl2 4.2-1 (source all i386)
(
Camm Maguire
)
[
2011-02-06
]
acl2 4.1-5 MIGRATED to testing
(
Debian testing watch
)
[
2010-11-06
]
Accepted acl2 4.1-5 (source all i386)
(
Camm Maguire
)
[
2010-10-31
]
Accepted acl2 4.1-4 (source all i386)
(
Camm Maguire
)
[
2010-10-20
]
Accepted acl2 4.1-3 (source all i386)
(
Camm Maguire
)
[
2010-09-25
]
Accepted acl2 4.1-2 (source all i386)
(
Camm Maguire
)
[
2010-09-06
]
Accepted acl2 4.1-1 (source all i386)
(
Camm Maguire
)
[
2010-07-24
]
acl2 4.0-3 MIGRATED to testing
(
Debian testing watch
)
[
2010-07-09
]
Accepted acl2 4.0-3 (source all i386)
(
Camm Maguire
)
[
2010-07-08
]
Accepted acl2 4.0-2 (source all i386)
(
Camm Maguire
)
[
2010-07-08
]
Accepted acl2 4.0-1 (source all i386)
(
Camm Maguire
)
[
2010-06-26
]
acl2 3.6.1-2 MIGRATED to testing
(
Debian testing watch
)
[
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
)
1
2
3
4
5
6
