Go
Register
|
Log in
Subscribe
aac-tactics
×
Choose email to subscribe with
general
source:
aac-tactics
(
main
)
version:
8.20.0-1
maintainer:
Debian OCaml Maintainers
(
archive
)
uploaders:
Stéphane Glondu
–
Julien Puydt
arch:
any
std-ver:
4.7.0
VCS:
Git
(
Browse
)
versions
[pool directory]
kali-roll:
8.20.0-1
kali-dev:
8.20.0-1
deb-test:
8.20.0-1
versioned links
8.20.0-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
libcoq-aac-tactics
news
[rss feed]
[
2024-12-02
]
aac-tactics 8.20.0-1 imported into kali-rolling
(
Kali Repository
)
[
2024-09-12
]
aac-tactics 8.19.1-2 imported into kali-rolling
(
Kali Repository
)
[
2024-08-19
]
aac-tactics 8.19.1-1 removed from kali-rolling
(
Kali Repository
)
[
2024-08-17
]
aac-tactics 8.19.1-1 removed from kali-dev
(
Kali Repository
)
[
2024-06-26
]
aac-tactics 8.19.1-1 imported into kali-rolling
(
Kali Repository
)
[
2024-01-26
]
aac-tactics 8.18.0-1 imported into kali-rolling
(
Kali Repository
)
[
2023-09-20
]
aac-tactics 8.17.0-3 imported into kali-rolling
(
Kali Repository
)
[
2023-06-28
]
aac-tactics 8.17.0-2 imported into kali-rolling
(
Kali Repository
)
[
2023-01-10
]
aac-tactics 8.17.0-1 imported into kali-rolling
(
Kali Repository
)
[
2022-09-19
]
aac-tactics 8.16.0-1 imported into kali-rolling
(
Kali Repository
)
[
2022-07-11
]
aac-tactics 8.15.1-6 imported into kali-rolling
(
Kali Repository
)
[
2022-05-30
]
aac-tactics 8.15.1-4 imported into kali-rolling
(
Kali Repository
)
[
2022-04-22
]
aac-tactics 8.15.1-3 imported into kali-rolling
(
Kali Repository
)
[
2022-02-11
]
aac-tactics 8.15.0-1 imported into kali-rolling
(
Kali Repository
)
[
2020-09-30
]
aac-tactics 8.11.0-1 removed from kali-rolling
(
Kali Repository
)
[
2020-09-30
]
aac-tactics 8.11.0-1 removed from kali-dev
(
Kali Repository
)
[
2020-03-26
]
aac-tactics 8.11.0-1 imported into kali-rolling
(
Kali Repository
)
[
2020-02-10
]
aac-tactics 8.9.0-1 imported into kali-rolling
(
Kali Repository
)
[
2019-02-16
]
aac-tactics 8.6.1-2 removed from kali-rolling
(
Kali Repository
)
[
2019-02-16
]
aac-tactics 8.6.1-2 removed from kali-dev
(
Kali Repository
)
[
2018-01-03
]
aac-tactics 8.6.1-2 imported into kali-rolling
(
Kali Repository
)
[
2017-01-14
]
aac-tactics 8.6.1-1 imported into kali-rolling
(
Kali Repository
)
[
2016-08-08
]
aac-tactics 8.5.1-1 imported into kali-rolling
(
Kali Repository
)
[
2016-03-03
]
aac-tactics 0.4-5 removed from kali-rolling
(
Kali Repository
)
[
2016-03-03
]
aac-tactics 0.4-5 removed from kali-dev
(
Kali Repository
)
[
2015-12-07
]
aac-tactics 0.4-5 migrated to Kali Safi
[
2015-11-02
]
aac-tactics 0.4-5 has been added to Kali Devel
[
2015-11-02
]
aac-tactics 0.4-5 has been added to Kali Rolling
[
2015-08-27
]
aac-tactics 0.2.pl2-7 migrated to Kali Moto
[
2015-08-16
]
aac-tactics 0.4-4 has been added to Kali Devel
1
2
links
homepage