Go
Register
|
Log in
Subscribe
acl2
×
Choose email to subscribe with
general
source:
acl2
(
main
)
version:
8.5dfsg-5
maintainer:
Camm Maguire
arch:
all any
std-ver:
4.5.1
VCS:
unknown
versions
[pool directory]
kali-roll:
8.5dfsg-5
kali-dev:
8.5dfsg-5
versioned links
8.5dfsg-5:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
acl2
acl2-books
acl2-books-certs
acl2-books-source
acl2-doc
acl2-infix
acl2-infix-source
acl2-source
elpa-acl2
news
[rss feed]
[
2023-01-24
]
acl2 8.5dfsg-5 imported into kali-rolling
(
Kali Repository
)
[
2023-01-09
]
acl2 8.5dfsg-3 imported into kali-rolling
(
Kali Repository
)
[
2022-12-30
]
acl2 8.5dfsg-2 imported into kali-rolling
(
Kali Repository
)
[
2022-08-03
]
acl2 8.5dfsg-1 imported into kali-rolling
(
Kali Repository
)
[
2021-11-08
]
acl2 8.4dfsg-2 imported into kali-rolling
(
Kali Repository
)
[
2021-10-18
]
acl2 8.3dfsg-4 imported into kali-rolling
(
Kali Repository
)
[
2021-02-02
]
acl2 8.3dfsg-2 imported into kali-rolling
(
Kali Repository
)
[
2020-08-31
]
acl2 8.3dfsg-1 imported into kali-rolling
(
Kali Repository
)
[
2020-01-06
]
acl2 8.2dfsg-3 imported into kali-rolling
(
Kali Repository
)
[
2019-12-16
]
acl2 8.1dfsg-6 imported into kali-rolling
(
Kali Repository
)
[
2019-11-18
]
acl2 8.0dfsg-1 removed from kali-rolling
(
Kali Repository
)
[
2019-11-16
]
acl2 8.0dfsg-1 removed from kali-dev
(
Kali Repository
)
[
2019-02-13
]
acl2 8.0dfsg-1 imported into kali-rolling
(
Kali Repository
)
[
2017-10-08
]
acl2 7.4dfsg-4 imported into kali-rolling
(
Kali Repository
)
[
2017-08-14
]
acl2 7.4dfsg-3.1 imported into kali-rolling
(
Kali Repository
)
[
2017-08-05
]
acl2 7.4dfsg-3 imported into kali-rolling
(
Kali Repository
)
[
2016-10-28
]
acl2 7.2dfsg-3 imported into kali-rolling
(
Kali Repository
)
[
2016-05-18
]
acl2 7.2dfsg-2 imported into kali-rolling
(
Kali Repository
)
[
2016-04-26
]
acl2 7.2dfsg-1 imported into kali-rolling
(
Kali Repository
)
[
2015-12-07
]
acl2 7.1dfsg-2 migrated to Kali Safi
[
2015-11-03
]
acl2 7.1dfsg-2 has been added to Kali Devel
[
2015-11-03
]
acl2 7.1dfsg-2 has been added to Kali Rolling
[
2015-08-27
]
acl2 4.3-3 migrated to Kali Moto
[
2015-08-11
]
acl2 6.5-2 migrated to Kali Moto
[
2015-07-21
]
acl2 6.5-2 migrated to Kali Sana
[
2014-10-22
]
acl2 6.5-2 migrated to Kali Rolling
links
homepage