Le 21/11/2013 16:04, Hendrik Tews a écrit :
I pushed now to got.debian.org. The new hol-light version works
with the new camlp5 in experimental as well as with the version
in unstable. It should therefore be uploaded to unstable.
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to
Hendrik Tews hend...@askra.de writes:
a few days a ago I prepared a new version of hol-light, but it is
I pushed now to got.debian.org. The new hol-light version works
with the new camlp5 in experimental as well as with the version
in unstable. It should therefore be uploaded to unstable.
Stéphane Glondu glo...@debian.org writes:
Can you publish the git repo elsewhere meanwhile?
you can download the tar ball of my hol-light git directory at
http://askra.de/hol-light-git.tgz . I know this is not the right
way to do it, but I don't have the time for reading about bare
Hi,
a few days a ago I prepared a new version of hol-light, but it is
still sitting on my hard disk, because I cannot push to
git.debian.org:
wallace hol-light 5 ssh git.debian.org
ssh: connect to host git.debian.org port 22: No route to host
Am I the only one with this problem?
Bye,
Le 14/11/2013 07:41, Hendrik Tews a écrit :
a few days a ago I prepared a new version of hol-light, but it is
still sitting on my hard disk, because I cannot push to
git.debian.org:
wallace hol-light 5 ssh git.debian.org
ssh: connect to host git.debian.org port 22: No route to host
5 matches
Mail list logo