anonscm.debian.org Git - pkg-haskell/agda.git/summary

projects / pkg-haskell/agda.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	Packaging for Agda
owner	Iain Lane
last change	Wed, 10 Apr 2013 10:55:09 +0000
URL	git://anonscm.debian.org/pkg-haskell/agda.git
	git+ssh://git.debian.org/git/pkg-haskell/agda.git
	http://anonscm.debian.org/git/pkg-haskell/agda.git

2013-04-10	Iain Lane	Update & finalise changelog master debian/2.3.2-1	commit \| commitdiff \| tree \| snapshot
2013-04-10	Iain Lane	Add missing geniplate and parallel BDs	commit \| commitdiff \| tree \| snapshot
2013-04-10	Iain Lane	Allow Quickcheck up to 2.7. Fix haskeline build-dep.	commit \| commitdiff \| tree \| snapshot
2013-04-10	Iain Lane	agda-mode needs to depend on agda-bin	commit \| commitdiff \| tree \| snapshot
2012-12-25	Iain Lane	Add agda-bin package here, as the separate package...	commit \| commitdiff \| tree \| snapshot
2012-12-25	Iain Lane	agda-mode no longer depends on haskell-mode or GHCi	commit \| commitdiff \| tree \| snapshot
2012-12-25	Iain Lane	Update build-deps to match control file	commit \| commitdiff \| tree \| snapshot
2012-12-16	Iain Lane	Remove all patches — all upstream.	commit \| commitdiff \| tree \| snapshot
2012-12-16	Iain Lane	Merge tag 'upstream/2.3.2'	commit \| commitdiff \| tree \| snapshot
2012-12-16	Iain Lane	Imported Upstream version 2.3.2 upstream upstream/2.3.2	commit \| commitdiff \| tree \| snapshot
2012-09-08	Kiwamu Okabe	bump up debian version	commit \| commitdiff \| tree \| snapshot
2012-09-08	Kiwamu Okabe	Extend haskell-src-exts dependency on debian/control	commit \| commitdiff \| tree \| snapshot
2012-09-08	Kiwamu Okabe	add patch extend-haskell-src-exts-dependenc	commit \| commitdiff \| tree \| snapshot
2012-05-25	Joachim Breitner	releasing version 2.3.0.1-2 debian/2.3.0.1-2	commit \| commitdiff \| tree \| snapshot
2012-05-25	Joachim Breitner	New patch: Extend mtl dependency	commit \| commitdiff \| tree \| snapshot
2012-03-12	Joachim Breitner	releasing version 2.3.0.1-1 debian/2.3.0.1-1	commit \| commitdiff \| tree \| snapshot
...

5 weeks ago	debian/2.3.2-1	Debian release 2.3.2-1	tag	\| commit \| shortlog \| log
5 months ago	upstream/2.3.2	Upstream version 2.3.2	tag	\| commit \| shortlog \| log
11 months ago	debian/2.3.0.1-2	fo	tag	\| commit \| shortlog \| log
14 months ago	upstream/2.3.0.1	its a tag	tag	\| commit \| shortlog \| log
14 months ago	debian/2.3.0.1-1	its a tag	tag	\| commit \| shortlog \| log
17 months ago	debian/2.3.0-1	Debian release 2.3.0-1	tag	\| commit \| shortlog \| log
17 months ago	upstream/2.3.0	Upstream version 2.3.0	tag	\| commit \| shortlog \| log
20 months ago	debian/2.2.10-4	Debian release 2.2.10-4	tag	\| commit \| shortlog \| log
23 months ago	debian/2.2.10-3	Debian release 2.2.10-3	tag	\| commit \| shortlog \| log
23 months ago	debian/2.2.10-2	Debian release 2.2.10-2	tag	\| commit \| shortlog \| log
23 months ago	debian/2.2.10-1	Debian release 2.2.10-1	tag	\| commit \| shortlog \| log
2 years ago	upstream/2.2.10	Upstream version 2.2.10	tag	\| commit \| shortlog \| log
2 years ago	debian/2.2.8-1	Debian release 2.2.8-1	tag	\| commit \| shortlog \| log
2 years ago	upstream/2.2.8	Upstream version 2.2.8	tag	\| commit \| shortlog \| log
3 years ago	debian/2.2.6-7			\| commit \| shortlog \| log
3 years ago	debian/2.2.6-6	Debian release 2.2.6-6	tag	\| commit \| shortlog \| log
...

5 weeks ago	master	shortlog \| log \| tree
4 months ago	pristine-tar	shortlog \| log \| tree
5 months ago	upstream	shortlog \| log \| tree

Packaging for Agda