Hello Judicael, ...
could it be possible to have also the older version of coq in the archive,
maybe as a coq6 package, which would conflict with the coq package ?
If not, i would be very happy to have access to the coq 6.3.1 sources
packages, which seem to have been removed from the archive altogether (altough
there is still a mips binary, so i think this is a pool bug, because this was
supposed not to happen).
Friendly,
Sven Luther
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
