Register
|
Log in
News for package
acl2
[
2015-06-01
]
Accepted acl2 7.1-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2015-01-27
]
Accepted acl2 7.0-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2014-10-27
]
Accepted acl2 6.5-5 (source all amd64) into unstable
(
Camm Maguire
)
[
2014-10-26
]
Accepted acl2 6.5-4 (source all amd64) into unstable
(
Camm Maguire
)
[
2014-10-25
]
Accepted acl2 6.5-3 (source all amd64) into unstable
(
Camm Maguire
)
[
2014-10-03
]
acl2 6.5-2 MIGRATED to testing
(
Britney
)
[
2014-09-08
]
Accepted acl2 6.5-2 (source all amd64) into unstable
(
Camm Maguire
)
[
2014-08-17
]
Accepted acl2 6.5-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2014-05-28
]
acl2 6.4-4 MIGRATED to testing
(
Debian testing watch
)
[
2014-05-18
]
Accepted acl2 6.4-4 (source all amd64)
(
Camm Maguire
)
[
2014-05-12
]
Accepted acl2 6.4-3 (source all amd64)
(
Camm Maguire
)
[
2014-05-08
]
Accepted acl2 6.4-2 (source all amd64)
(
Camm Maguire
)
[
2014-05-02
]
Accepted acl2 6.4-1 (source all amd64)
(
Camm Maguire
)
[
2013-11-28
]
acl2 6.3-6 MIGRATED to testing
(
Debian testing watch
)
[
2013-11-16
]
Accepted acl2 6.3-6 (source all amd64)
(
Camm Maguire
)
[
2013-11-08
]
acl2 6.3-5 MIGRATED to testing
(
Debian testing watch
)
[
2013-10-19
]
Accepted acl2 6.3-5 (source all amd64 i386)
(
Camm Maguire
)
[
2013-10-16
]
Accepted acl2 6.3-4 (source all kfreebsd-amd64)
(
Camm Maguire
)
[
2013-10-15
]
Accepted acl2 6.3-3 (source all kfreebsd-amd64)
(
Camm Maguire
)
[
2013-10-12
]
Accepted acl2 6.3-2 (source all i386)
(
Camm Maguire
)
[
2013-10-04
]
Accepted acl2 6.3-1 (source all amd64)
(
Camm Maguire
)
[
2013-09-11
]
acl2 6.2-7 MIGRATED to testing
(
Debian testing watch
)
[
2013-08-08
]
Accepted acl2 6.2-7 (source all amd64)
(
Camm Maguire
)
[
2013-07-30
]
Accepted acl2 6.2-6 (source all amd64)
(
Camm Maguire
)
[
2013-07-28
]
Accepted acl2 6.2-5 (source all amd64)
(
Camm Maguire
)
[
2013-07-24
]
Accepted acl2 6.2-4 (source all amd64)
(
Camm Maguire
)
[
2013-07-22
]
Accepted acl2 6.2-3 (source all amd64)
(
Camm Maguire
)
[
2013-07-12
]
Accepted acl2 6.2-1 (source all amd64)
(
Camm Maguire
)
[
2013-07-02
]
Accepted acl2 6.1-6 (source all amd64)
(
Camm Maguire
)
[
2013-06-22
]
Accepted acl2 6.1-5 (source all amd64)
(
Camm Maguire
)
1
2
3
4
5
6
