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

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

summary | shortlog | log | commit | commitdiff | tree

description	coq-doc packaging
owner	UNKNOWN
last change	Fri, 6 Apr 2012 05:33:23 +0000
URL	git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-doc.git
	git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git
	http://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git

2012-04-06	Stephane Glondu	Prepare upload to unstable master debian/8.3pl4-1	commit \| commitdiff \| tree \| snapshot
2012-04-06	Stephane Glondu	New upstream release	commit \| commitdiff \| tree \| snapshot
2012-04-06	Stephane Glondu	Merge tag 'upstream/8.3pl4'	commit \| commitdiff \| tree \| snapshot
2012-04-06	Stephane Glondu	Imported Upstream version 8.3pl4 upstream upstream/8.3pl4	commit \| commitdiff \| tree \| snapshot
2012-01-03	Stephane Glondu	Prepare upload to unstable debian/8.3pl3-1	commit \| commitdiff \| tree \| snapshot
2012-01-03	Stephane Glondu	New upstream release	commit \| commitdiff \| tree \| snapshot
2012-01-03	Stephane Glondu	Merge commit 'upstream/8.3pl3'	commit \| commitdiff \| tree \| snapshot
2012-01-03	Stephane Glondu	Imported Upstream version 8.3pl3 upstream/8.3pl3	commit \| commitdiff \| tree \| snapshot
2011-05-06	Stephane Glondu	Update changelog and prepare upload to unstable debian/8.3pl2-1	commit \| commitdiff \| tree \| snapshot
2011-05-06	Stephane Glondu	Add local-options	commit \| commitdiff \| tree \| snapshot
2011-05-06	Stephane Glondu	Bump Standards-Version to 3.9.2	commit \| commitdiff \| tree \| snapshot
2011-05-06	Stephane Glondu	Bump debhelper compat level to 8	commit \| commitdiff \| tree \| snapshot
2011-05-06	Stephane Glondu	New upstream realease	commit \| commitdiff \| tree \| snapshot
2011-05-06	Stephane Glondu	Merge commit 'upstream/8.3pl2'	commit \| commitdiff \| tree \| snapshot
2011-05-06	Stephane Glondu	Imported Upstream version 8.3pl2 upstream/8.3pl2	commit \| commitdiff \| tree \| snapshot
2010-01-08	Stephane Glondu	Make dependencies of coq-doc versioned	commit \| commitdiff \| tree \| snapshot
...

13 months ago	debian/8.3pl4-1	Debian release 8.3pl4-1	tag	\| commit \| shortlog \| log
13 months ago	upstream/8.3pl4	Upstream version 8.3pl4	tag	\| commit \| shortlog \| log
16 months ago	debian/8.3pl3-1	Debian release 8.3pl3-1	tag	\| commit \| shortlog \| log
16 months ago	upstream/8.3pl3	Upstream version 8.3pl3	tag	\| commit \| shortlog \| log
2 years ago	debian/8.3pl2-1	Debian release 8.3pl2-1	tag	\| commit \| shortlog \| log
2 years ago	upstream/8.3pl2	Upstream version 8.3pl2	tag	\| commit \| shortlog \| log
3 years ago	debian/8.2pl1-1	Debian release 8.2pl1-1	tag	\| commit \| shortlog \| log
3 years ago	upstream/8.2pl1	Upstream version 8.2pl1	tag	\| commit \| shortlog \| log
6 years ago	debian/8.1-3	[svn-buildpackage] Tagging coq...	tag	\| commit \| shortlog \| log
6 years ago	debian/8.1-2	[svn-buildpackage] Tagging coq...	tag	\| commit \| shortlog \| log
6 years ago	debian/8.1-1	[svn-buildpackage] Tagging coq...	tag	\| commit \| shortlog \| log
6 years ago	upstream/8.1	Upstream version 8.1	tag	\| commit \| shortlog \| log
6 years ago	debian/8.1.gamma-2	[svn-buildpackage] Tagging coq...	tag	\| commit \| shortlog \| log
6 years ago	debian/8.1.gamma-1	[svn-buildpackage] Tagging coq...	tag	\| commit \| shortlog \| log
6 years ago	upstream/8.1.gamma	Upstream version 8.1~gamma	tag	\| commit \| shortlog \| log
6 years ago	debian/8.0pl3+8.1beta.2-1	[svn-buildpackage] Tagging coq...	tag	\| commit \| shortlog \| log
...

13 months ago	master	shortlog \| log \| tree
13 months ago	pristine-tar	shortlog \| log \| tree
13 months ago	upstream	shortlog \| log \| tree

coq-doc packaging