anonscm.debian.org Git - pkg-ocaml-maint/packages/coq.git/summary

projects / pkg-ocaml-maint/packages/coq.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	coq packaging
owner	UNKNOWN
last change	Wed, 8 May 2013 16:10:35 +0000
URL	git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git
	git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
	http://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git

2013-05-08	Stephane Glondu	Prepare upload to unstable master debian/8.4pl2dfsg-1	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	Merge branch 'upstream'	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	Merge branch 'experimental/upstream' into upstream upstream	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	Merge branch 'experimental/master'	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	Update ABI	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	New upstream release	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	Merge tag 'upstream/8.4pl2dfsg' into experimental/master	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	Imported Upstream version 8.4pl2dfsg upstream/8.4pl2dfsg	commit \| commitdiff \| tree \| snapshot
2013-05-08	Stephane Glondu	New debian/watch file by Bart Martens	commit \| commitdiff \| tree \| snapshot
2012-12-29	Stephane Glondu	Update changelog and prepare upload to experimental debian/8.4pl1dfsg-1	commit \| commitdiff \| tree \| snapshot
2012-12-29	Stephane Glondu	Add ocaml-findlib to Build-Depends...	commit \| commitdiff \| tree \| snapshot
2012-12-29	Stephane Glondu	Update ABI	commit \| commitdiff \| tree \| snapshot
2012-12-29	Stephane Glondu	Refresh patches	commit \| commitdiff \| tree \| snapshot
2012-12-29	Stephane Glondu	New upstream release	commit \| commitdiff \| tree \| snapshot
2012-12-29	Stephane Glondu	Merge tag 'upstream/8.4pl1dfsg' into experimental/master	commit \| commitdiff \| tree \| snapshot
2012-12-29	Stephane Glondu	Imported Upstream version 8.4pl1dfsg upstream/8.4pl1dfsg	commit \| commitdiff \| tree \| snapshot
...

2 weeks ago	debian/8.4pl2dfsg-1	coq Debian release 8.4pl2dfsg-1	tag	\| commit \| shortlog \| log
2 weeks ago	upstream/8.4pl2dfsg	Upstream version 8.4pl2dfsg	tag	\| commit \| shortlog \| log
4 months ago	debian/8.4pl1dfsg-1	Debian release 8.4pl1dfsg-1	tag	\| commit \| shortlog \| log
4 months ago	upstream/8.4pl1dfsg	Upstream version 8.4pl1dfsg	tag	\| commit \| shortlog \| log
7 months ago	debian/8.4dfsg-2	Debian release 8.4dfsg-2	tag	\| commit \| shortlog \| log
9 months ago	debian/8.4dfsg-1	Debian release 8.4dfsg-1	tag	\| commit \| shortlog \| log
9 months ago	upstream/8.4dfsg	Upstream version 8.4dfsg	tag	\| commit \| shortlog \| log
11 months ago	debian/8.4_gamma0+really8.4beta2+dfsg-1	Debian release 8.4~gamma0+really8...	tag	\| commit \| shortlog \| log
11 months ago	upstream/8.4_gamma0+really8.4beta2+dfsg	Upstream version 8.4~gamma0+really8...	tag	\| commit \| shortlog \| log
11 months ago	upstream/8.4_gamma0+really8.4beta2	Upstream version 8.4~gamma0+really8...	tag	\| commit \| shortlog \| log
13 months ago	debian/8.4_beta+dfsg-4	Debian release 8.4~beta+dfsg-4	tag	\| commit \| shortlog \| log
13 months ago	debian/8.3.pl4+dfsg-1	Debian release 8.3.pl4+dfsg-1	tag	\| commit \| shortlog \| log
13 months ago	upstream/8.3.pl4+dfsg	Upstream version 8.3.pl4+dfsg	tag	\| commit \| shortlog \| log
13 months ago	upstream/8.3.pl4	Upstream version 8.3.pl4	tag	\| commit \| shortlog \| log
14 months ago	debian/8.3.pl3+dfsg-2	Debian release 8.3.pl3+dfsg-2	tag	\| commit \| shortlog \| log
16 months ago	debian/8.4_beta+dfsg-3	Debian release 8.4~beta+dfsg-3	tag	\| commit \| shortlog \| log
...

2 weeks ago	master	shortlog \| log \| tree
2 weeks ago	upstream	shortlog \| log \| tree
2 weeks ago	pristine-tar	shortlog \| log \| tree
16 months ago	squeeze-backports/master	shortlog \| log \| tree
16 months ago	squeeze-backports/upstream	shortlog \| log \| tree

coq packaging