Register
|
Log in
News for package
coq
[
2002-02-13
]
Installed coq 7.2-7 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
2002-02-12
]
Installed coq 7.2-6 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
2002-02-09
]
Installed coq 7.2-5 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
2002-02-02
]
Installed coq 7.2-4 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
2002-01-31
]
Installed coq 7.2-3 (i386 source)
(
Judicaël Courant
)
(signed by:
Ralf Treinen
)
[
2002-01-19
]
Installed coq 7.2-2 (i386 source)
(
Judicaël Courant
)
(signed by:
Ralf Treinen
)
[
2001-04-27
]
Installed coq 7.0-1 (i386 source)
(
Judicaël Courant
)
(signed by:
Ralf Treinen
)
[
2000-07-11
]
Installed coq 6.3.1-3 (source i386)
(
Fernando Sanchez
)
[
1999-12-19
]
Installed coq 6.3.1-2 (source i386)
(
Fernando Sanchez
)
[
1999-12-08
]
Installed coq 6.3.1-1 (source i386)
(
Fernando Sanchez
)
1
2
3
4
5
6
7
