Register
|
Log in
News for package
acl2
[
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
)
[
2004-09-17
]
Accepted acl2 2.8-5 (i386 source all)
(
Camm Maguire
)
[
2004-05-31
]
Accepted acl2 2.8-4 (i386 source all)
(
Camm Maguire
)
[
2004-05-12
]
Accepted acl2 2.8-3 (i386 source all)
(
Camm Maguire
)
[
2004-04-30
]
Accepted acl2 2.8-2 (i386 source all)
(
Camm Maguire
)
[
2004-04-22
]
Accepted acl2 2.8-1 (i386 source all)
(
Camm Maguire
)
1
2
3
4
5
6
