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

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

summary | shortlog | log | commit | commitdiff | tree

description	why packaging
owner	UNKNOWN
last change	Wed, 16 May 2012 10:54:14 +0000 (12:54 +0200)
URL	git://anonscm.debian.org/pkg-ocaml-maint/packages/why.git
	git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/why.git
	http://anonscm.debian.org/git/pkg-ocaml-maint/packages/why.git

2012-05-16	Mehdi Dogguy	Release to unstable master debian/2.30+dfsg-5	commit \| commitdiff \| tree \| snapshot
2012-05-16	Mehdi Dogguy	Bump Standards-Version to 3.9.3, no changes required.	commit \| commitdiff \| tree \| snapshot
2012-05-15	Mehdi Dogguy	Mark Coq 8.3pl4 as compatible.	commit \| commitdiff \| tree \| snapshot
2012-04-06	Stephane Glondu	Recompile with coq 8.3pl4 (no changes) debian/2.30+dfsg-4	commit \| commitdiff \| tree \| snapshot
2012-01-16	Mehdi Dogguy	Setting urgency to "high" to fix those issues. debian/2.30+dfsg-3	commit \| commitdiff \| tree \| snapshot
2012-01-16	Mehdi Dogguy	Fix caduceus/frama-c issue	commit \| commitdiff \| tree \| snapshot
2012-01-16	Mehdi Dogguy	Fix two patches	commit \| commitdiff \| tree \| snapshot
2012-01-12	Mehdi Dogguy	Rebuilt with latest coq-float 1:8.3pl1-1 (no source... debian/2.30+dfsg-2	commit \| commitdiff \| tree \| snapshot
2012-01-02	Mehdi Dogguy	Fix mess created by 37a8809 debian/2.30+dfsg-1	commit \| commitdiff \| tree \| snapshot
2012-01-02	Mehdi Dogguy	Changelog update	commit \| commitdiff \| tree \| snapshot
2012-01-02	Mehdi Dogguy	Bump Standards-Version to 3.9.2, no changes needed.	commit \| commitdiff \| tree \| snapshot
2012-01-02	Mehdi Dogguy	Fix description-synopsis-starts-with-article	commit \| commitdiff \| tree \| snapshot
2012-01-02	Mehdi Dogguy	Fix copyright-refers-to-deprecated-bsd-license-file	commit \| commitdiff \| tree \| snapshot
2012-01-02	Mehdi Dogguy	Fix spelling-error-in-binary	commit \| commitdiff \| tree \| snapshot
2012-01-02	Mehdi Dogguy	Coq 8.3pl3 is also compatible	commit \| commitdiff \| tree \| snapshot
2011-12-15	Mehdi Dogguy	Bump build requirement for frama-c to 20111001+nitrogen...	commit \| commitdiff \| tree \| snapshot
...

13 months ago	debian/2.30+dfsg-5	Debian release 2.30+dfsg-5	tag	\| commit \| shortlog \| log
14 months ago	debian/2.30+dfsg-4	Debian release 2.30+dfsg-4	tag	\| commit \| shortlog \| log
17 months ago	debian/2.30+dfsg-3	Debian release 2.30+dfsg-3	tag	\| commit \| shortlog \| log
17 months ago	debian/2.30+dfsg-2	Debian release 2.30+dfsg-2	tag	\| commit \| shortlog \| log
17 months ago	debian/2.30+dfsg-1	Debian release 2.30+dfsg-1	tag	\| commit \| shortlog \| log
18 months ago	upstream/2.30+dfsg	Upstream version 2.30+dfsg	tag	\| commit \| shortlog \| log
19 months ago	debian/2.29+dfsg-4	Debian release 2.29+dfsg-4	tag	\| commit \| shortlog \| log
2 years ago	debian/2.29+dfsg-3	Debian release 2.29+dfsg-3	tag	\| commit \| shortlog \| log
2 years ago	debian/2.29+dfsg-2	Debian release 2.29+dfsg-2	tag	\| commit \| shortlog \| log
2 years ago	debian/2.29+dfsg-1	Debian release 2.29+dfsg-1	tag	\| commit \| shortlog \| log
2 years ago	upstream/2.29+dfsg	Upstream version 2.29+dfsg	tag	\| commit \| shortlog \| log
2 years ago	debian/2.26+dfsg-4	Debian release 2.26+dfsg-4	tag	\| commit \| shortlog \| log
2 years ago	debian/2.26+dfsg-2+squeeze1	Debian release 2.26+dfsg-2+squeeze1	tag	\| commit \| shortlog \| log
2 years ago	debian/2.26+dfsg-3	Debian release 2.26+dfsg-3	tag	\| commit \| shortlog \| log
2 years ago	debian/2.26+dfsg-2	Debian release 2.26+dfsg-2	tag	\| commit \| shortlog \| log
3 years ago	debian/2.26+dfsg-1	Debian release 2.26+dfsg-1	tag	\| commit \| shortlog \| log
...

13 months ago	master	shortlog \| log \| tree
18 months ago	pristine-tar	shortlog \| log \| tree
18 months ago	upstream	shortlog \| log \| tree
2 years ago	squeeze/master	shortlog \| log \| tree
3 years ago	squeeze/upstream	shortlog \| log \| tree
4 years ago	lenny/master	shortlog \| log \| tree
5 years ago	lenny/upstream	shortlog \| log \| tree

why packaging