Register
|
Log in
News for package
coq
[
2015-07-21
]
coq 8.4pl4dfsg-1 migrated to Kali Sana
[
2014-10-22
]
coq 8.4pl4dfsg-1 migrated to Kali Rolling
1
2
