This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch upstream
in repository alt-ergo.
from e8667c8 Imported Upstream version 0.95.1
adds 5dc7ee9 Imported Upstream version 0.95.2
No new revisions were added by this update.
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch pristine-tar
in repository alt-ergo.
commit 16c07c91a64b941f70fb6774f24f5700c55750bb
Author: Ralf Treinen trei...@pps.univ-paris-diderot.fr
Date: Tue Nov 5 14:07:05 2013 +0100
pristine-tar
This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch pristine-tar
in repository alt-ergo.
from 8a57385 pristine-tar data for alt-ergo_0.95.1.orig.tar.gz
new 16c07c9 pristine-tar data for alt-ergo_0.95.2.orig.tar.gz
The 1
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit 358289d860a9bcc1d7631dc995ca0cda5903a144
Author: Stephane Glondu st...@glondu.net
Date: Thu Oct 17 11:40:54 2013 +0200
New upstream release
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit 18fbdd2910cc08f2357c941961244303f5b1d8d1
Author: Stephane Glondu st...@glondu.net
Date: Mon Oct 21 16:34:24 2013 +0200
Fix upstream typos and
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository ocaml.
from 8d2196e pristine-tar data for ocaml_4.00.1.orig.tar.bz2
new e118ebc pristine-tar data for ocaml_4.01.0.orig.tar.bz2
The 1 revisions
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit bff1027f4fc9fcfb5ec52ad2da36f9e4842c62d6
Author: Stephane Glondu st...@glondu.net
Date: Mon Oct 21 16:57:01 2013 +0200
Remove testsuite
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit ed651dd403ce3c68b340cdcfa3e46719712acbff
Author: Stephane Glondu st...@glondu.net
Date: Mon Oct 21 15:53:53 2013 +0200
More tests need
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit dca89912c6aa6e87dddaa0fcf0e5417b8879fa53
Author: Stephane Glondu st...@glondu.net
Date: Thu Oct 17 11:43:54 2013 +0200
Refresh patches
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit b1ca5e9f0f3f456f0d5826a0792e192c864b9168
Author: Stephane Glondu st...@glondu.net
Date: Thu Nov 7 16:09:23 2013 +0100
Add const qualifiers in
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit f1f6a5b299eaf470425534e7cfbb1daed82b3ed9
Author: Stephane Glondu st...@glondu.net
Date: Thu Oct 17 11:41:29 2013 +0200
Update ABI
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch experimental/master
in repository ocaml.
commit 4210ec5374cfa49f85e39de705aef4f538003780
Author: Stephane Glondu st...@glondu.net
Date: Thu Nov 7 16:09:38 2013 +0100
Enable mkstemp in yacc
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository ocaml.
commit e118ebcd7c9947479c3ec8cd22ee2f477648d897
Author: Stephane Glondu st...@glondu.net
Date: Thu Oct 17 11:40:06 2013 +0200
pristine-tar data for
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/4.01.0
in repository ocaml.
at 56ad737 (tag)
tagging df912e4b5d45ea9f8b9b54909bfdfb80fc9a0824 (commit)
replaces upstream/4.00.1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository alt-ergo.
commit 0413dbdbe0b7b9942856b9ba3987979e36d40c29
Author: Ralf Treinen trei...@pps.univ-paris-diderot.fr
Date: Thu Nov 7 17:16:57 2013 +0100
update
This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch master
in repository alt-ergo.
from b5daf76 fix filenamemangle in debian/watch
new 0413dbd update debian/copyright
new 5dff4ab install examples
The 2 revisions
This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch master
in repository alt-ergo.
from 5dff4ab install examples
new 8524fde drop overwrite of dh_auto_configure
The 1 revisions listed above as new are entirely new to this
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository alt-ergo.
commit 8524fde1a0489bd11f10df35f137e478fec02551
Author: Ralf Treinen trei...@free.fr
Date: Thu Nov 7 18:33:17 2013 +0100
drop overwrite of dh_auto_configure
18 matches
Mail list logo
