Register
|
Log in
News for package
coq
[
2006-04-30
]
Accepted coq 8.0pl3+8.1alpha-2 (source i386 all)
(
Samuel Mimram
)
[
2006-04-29
]
Accepted coq 8.0pl3+8.1alpha-1 (source i386 all)
(
Samuel Mimram
)
[
2006-03-02
]
coq 8.0pl3-2 MIGRATED to testing
(
Debian testing watch
)
[
2006-02-19
]
Accepted coq 8.0pl3-2 (source all i386)
(
Samuel Mimram
)
[
2006-02-04
]
coq 8.0pl3-1 MIGRATED to testing
(
Debian testing watch
)
[
2006-01-23
]
Accepted coq 8.0pl3-1 (source all i386)
(
Samuel Mimram
)
[
2005-11-21
]
Accepted coq 8.0pl2-4 (source all i386)
(
Samuel Mimram
)
[
2005-09-07
]
Accepted coq 8.0pl2-3 (source all i386)
(
Samuel Mimram
)
[
2005-03-31
]
Accepted coq 8.0pl2-2 (i386 source all)
(
Samuel Mimram
)
[
2005-01-31
]
Accepted coq 8.0pl2-1 (i386 source all)
(
Samuel Mimram
)
[
2004-12-13
]
Accepted coq 8.0pl1-5 (powerpc source)
(
Stefano Zacchiroli
)
[
2004-12-01
]
Accepted coq 8.0pl1-4 (powerpc source)
(
Stefano Zacchiroli
)
[
2004-08-26
]
Accepted coq 8.0pl1-3 (powerpc source)
(
Samuel Mimram
)
(signed by:
Sven Luther
)
[
2004-08-17
]
Accepted coq 8.0pl1-2 (powerpc source)
(
Samuel Mimram
)
(signed by:
Sven Luther
)
[
2004-08-16
]
Accepted coq 8.0pl1-1 (powerpc source)
(
Samuel Mimram
)
(signed by:
Sven Luther
)
[
2004-04-09
]
Accepted coq 7.3.1-3 (i386 source)
(
Ralf Treinen
)
[
2003-10-07
]
Accepted coq 7.3.1-2 (i386 source)
(
Ralf Treinen
)
[
2002-10-09
]
Accepted coq 7.3.1-1 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
2002-05-22
]
Accepted coq 7.3-1 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
2002-02-15
]
Installed coq 7.2-9 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
2002-02-15
]
Installed coq 7.2-8 (i386 source)
(
Judicael Courant
)
(signed by:
Ralf Treinen
)
[
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
)
1
2
3
4
5
6
7