Register
|
Log in
News for package
coq
[
2015-08-27
]
coq 8.3.pl4+dfsg-2 migrated to Kali Moto
[
2015-08-11
]
coq 8.4pl4dfsg-1 migrated to Kali Moto
[
2015-07-21
]
coq 8.4pl4dfsg-1 migrated to Kali Sana
[
2014-10-22
]
coq 8.4pl4dfsg-1 migrated to Kali Rolling
1
2
