~ubuntu-branches/ubuntu/trusty/agda/trusty

Viewing all changes in revision 32.

Committer: Package Import Robot
Author(s): Iain Lane
Date: 2013-06-16 13:14:47 UTC
mfrom: (12.1.9 sid)
Revision ID: package-import@ubuntu.com-20130616131447-whlng984tyjnd51c

Tags: 2.3.2.1-1

* [8cfbabf] Imported Upstream version 2.3.2.1
* [74f34b0] Bump BD on mtl per .cabal file
* [a3bff17] Drop Debian patches now obsoleted by this upstream release

files added:
doc/release-notes/2-3-2-1.txt

files removed:
.pc/allow-quickcheck-2.7

.pc/allow-quickcheck-2.7/Agda.cabal

debian/patches

debian/patches/allow-quickcheck-2.7

debian/patches/series

files modified:
.pc/applied-patches

Agda.cabal

debian/changelog

debian/control

dist/build/Agda/Syntax/Parser/Lexer.hs

dist/build/Agda/Syntax/Parser/Parser.hs

src/data/emacs-mode/agda2-mode.el

src/full/Agda/Syntax/Abstract/Name.hs

src/full/Agda/Syntax/Common.hs

src/full/Agda/Termination/CallGraph.hs

src/full/Agda/Termination/SparseMatrix.hs

src/full/Agda/Utils/Pointer.hs

expand all

Show diffs side-by-side

added added

removed removed

.pc/allow-quickcheck-2.7/

.pc/allow-quickcheck-2.7/Agda.cabal

debian/patches/allow-quickcheck-2.7

debian/patches/series

dist/build/Agda/Syntax/Parser/Lexer.hs

dist/build/Agda/Syntax/Parser/Parser.hs

doc/release-notes/2-3-2-1.txt

src/data/emacs-mode/agda2-mode.el

src/full/Agda/Syntax/Abstract/Name.hs

src/full/Agda/Syntax/Common.hs

src/full/Agda/Termination/CallGraph.hs

src/full/Agda/Termination/SparseMatrix.hs

src/full/Agda/Utils/Pointer.hs

Older »