Register
|
Log in
News for package
acl2
[
2019-10-31
]
Accepted acl2 8.1dfsg-4 (source) into unstable
(
Camm Maguire
)
[
2019-04-04
]
Accepted acl2 8.1dfsg-3 (source all amd64) into unstable
(
Camm Maguire
)
[
2019-03-30
]
Accepted acl2 8.1dfsg-2 (source all amd64) into unstable
(
Camm Maguire
)
[
2019-03-03
]
Accepted acl2 8.1dfsg-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2019-02-13
]
acl2 8.0dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2018-01-13
]
Accepted acl2 8.0dfsg-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2017-10-08
]
acl2 7.4dfsg-4 MIGRATED to testing
(
Debian testing watch
)
[
2017-10-02
]
Accepted acl2 7.4dfsg-4 (source all amd64) into unstable
(
Camm Maguire
)
[
2017-08-14
]
acl2 7.4dfsg-3.1 MIGRATED to testing
(
Debian testing watch
)
[
2017-08-09
]
Accepted acl2 7.4dfsg-3.1 (source) into unstable
(
Sean Whitton
)
[
2017-07-10
]
acl2 7.4dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2017-06-09
]
Accepted acl2 7.4dfsg-3 (source all amd64) into unstable
(
Camm Maguire
)
[
2017-05-31
]
Accepted acl2 7.4dfsg-2 (source all amd64) into unstable
(
Camm Maguire
)
[
2017-05-10
]
Accepted acl2 7.4dfsg-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2016-10-24
]
acl2 7.2dfsg-3 MIGRATED to testing
(
Debian testing watch
)
[
2016-10-17
]
Accepted acl2 7.2dfsg-3 (source all amd64) into unstable
(
Camm Maguire
)
[
2016-05-18
]
acl2 7.2dfsg-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-05-04
]
Accepted acl2 7.2dfsg-2 (source all amd64) into unstable
(
Camm Maguire
)
[
2016-04-26
]
acl2 7.2dfsg-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-04-14
]
Accepted acl2 7.2dfsg-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2015-11-03
]
acl2 7.1dfsg-2 MIGRATED to testing
(
Britney
)
[
2015-10-28
]
Accepted acl2 7.1dfsg-2 (source all amd64) into unstable
(
Camm Maguire
)
[
2015-10-21
]
Accepted acl2 7.1dfsg-1 (source all amd64) into unstable
(
Camm Maguire
)
[
2015-10-09
]
Accepted acl2 7.1-3 (source all amd64) into unstable
(
Camm Maguire
)
[
2015-10-02
]
Accepted acl2 7.1-2 (source all amd64) into unstable
(
Camm Maguire
)
[
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
)
1
2
3
4
5
6
