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

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

summary | shortlog | log | commit | commitdiff | tree

description	matita packaging
owner	Stéphane Glondu
last change	Sun, 6 May 2012 20:50:51 +0000
URL	git://anonscm.debian.org/pkg-ocaml-maint/packages/matita.git
	git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/matita.git
	http://anonscm.debian.org/git/pkg-ocaml-maint/packages/matita.git

2012-05-06	Enrico Tassi	Matita 0.99.1 packaged master debian/0.99.1-1	commit \| commitdiff \| tree \| snapshot
2012-05-06	Enrico Tassi	Merge tag 'upstream/0.99.1'	commit \| commitdiff \| tree \| snapshot
2012-05-06	Enrico Tassi	Imported Upstream version 0.99.1 upstream upstream/0.99.1	commit \| commitdiff \| tree \| snapshot
2012-04-01	Stephane Glondu	Refer to #666594 and prepare upload to unstable debian/0.5.8-4	commit \| commitdiff \| tree \| snapshot
2012-03-12	Stephane Glondu	Update changelog	commit \| commitdiff \| tree \| snapshot
2012-03-12	Stephane Glondu	Fix FTBFS with camlp5 6.05	commit \| commitdiff \| tree \| snapshot
2011-05-31	Stephane Glondu	Update changelog and prepare upload to unstable debian/0.5.8-3	commit \| commitdiff \| tree \| snapshot
2011-05-31	Stephane Glondu	Remove Stefano from Uploaders	commit \| commitdiff \| tree \| snapshot
2011-05-31	Stephane Glondu	Add reference to bug report in patch	commit \| commitdiff \| tree \| snapshot
2011-05-31	Stephane Glondu	Complete switch to 3.0 (quilt) source format	commit \| commitdiff \| tree \| snapshot
2011-05-31	Stephane Glondu	Switch patches to quilt	commit \| commitdiff \| tree \| snapshot
2011-05-31	Stephane Glondu	Wrap Build-Depends	commit \| commitdiff \| tree \| snapshot
2011-05-31	Stephane Glondu	Port to current OCaml/CamlP5 (Closes: #612891)	commit \| commitdiff \| tree \| snapshot
2011-02-11	Stephane Glondu	Switch packaging to git	commit \| commitdiff \| tree \| snapshot
2009-12-04	Enrico Tassi	uploaded	commit \| commitdiff \| tree \| snapshot
2009-12-04	Enrico Tassi	added conflit/replaces to matita w.r.t matita-standard... debian/0.5.8-2	commit \| commitdiff \| tree \| snapshot
...

12 months ago	debian/0.99.1-1	Debian release 0.99.1-1	tag	\| commit \| shortlog \| log
12 months ago	upstream/0.99.1	Upstream version 0.99.1	tag	\| commit \| shortlog \| log
13 months ago	debian/0.5.8-4	Debian release 0.5.8-4	tag	\| commit \| shortlog \| log
23 months ago	debian/0.5.8-3	Debian release 0.5.8-3	tag	\| commit \| shortlog \| log
3 years ago	debian/0.5.8-2	[svn-buildpackage] Tagging matita...	tag	\| commit \| shortlog \| log
3 years ago	debian/0.5.8-1	[svn-buildpackage] Tagging matita...	tag	\| commit \| shortlog \| log
3 years ago	upstream/0.5.8	Upstream version 0.5.8	tag	\| commit \| shortlog \| log
3 years ago	upstream/0.5.8_rc1	Upstream version 0.5.8~rc1	tag	\| commit \| shortlog \| log
4 years ago	debian/0.5.7-2	[svn-buildpackage] Tagging matita...	tag	\| commit \| shortlog \| log
4 years ago	debian/0.5.7-1	[svn-buildpackage] Tagging matita...	tag	\| commit \| shortlog \| log
4 years ago	upstream/0.5.7	Upstream version 0.5.7	tag	\| commit \| shortlog \| log
4 years ago	debian/0.5.6-1	[svn-buildpackage] Tagging matita...	tag	\| commit \| shortlog \| log
4 years ago	upstream/0.5.6	Upstream version 0.5.6	tag	\| commit \| shortlog \| log
4 years ago	debian/0.5.5-2	[svn-buildpackage] Tagging matita...	tag	\| commit \| shortlog \| log
4 years ago	debian/0.5.5-1	[svn-buildpackage] Tagging matita...	tag	\| commit \| shortlog \| log
4 years ago	upstream/0.5.5	Upstream version 0.5.5	tag	\| commit \| shortlog \| log
...

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

matita packaging