Register
|
Log in
News for package
coq
[
1999-12-08
]
Installed coq 6.3.1-1 (source i386)
(
Fernando Sanchez
)
1
2
3
4
5
6
7