summaryrefslogtreecommitdiff
path: root/p/agda
AgeCommit message (Expand)AuthorFilesLines
2017-09-16Agda: Upgrading from 2.5.2 to 2.5.3Sean Whitton4-26/+54
2017-07-10agda: bump ieee754 bounds.Gianfranco Costamagna4-1/+20
2017-07-06agda: update to new release, bump compat level to 10 and std-version to 4.0.0Gianfranco Costamagna3-13/+27
2017-07-06agda: drop old patches, upstreamGianfranco Costamagna5-70/+0
2017-06-21agda: fix build with new ghc 8.0.2Gianfranco Costamagna5-4/+57
2017-06-18agda: remove myself as an uploaderSean Whitton2-1/+7
2016-10-27change all haskell-devscripts B-Ds to >= 0.13Clint Adams1-1/+1
2016-10-27stage GHC 8 transition in sidClint Adams1-0/+6
2016-10-20Agda: patch to build with newer EdisonAPIClint Adams3-0/+18
2016-10-16Agda: Upgrading from 2.5.1 to 2.5.1.1Clint Adams3-10/+24
2016-06-20Merge branch 'master' of alioth.debian.org:/git/pkg-haskell/DHG_packagesJoachim Breitner4-4/+16
2016-06-20agda: release 2.5.1-2Sean Whitton1-2/+2
2016-06-20agda: changelog tweakSean Whitton1-2/+2
2016-06-20agda: d/copyright: add missing continuation markerSean Whitton2-1/+2
2016-06-20agda: fix transitional-package-should-be-oldlibs-extraSean Whitton2-1/+3
2016-06-20agda: attempt to fix build on arm builddsSean Whitton2-0/+11
2016-06-17agda: Fix Vcs-Browser field.Joachim Breitner2-1/+7
2016-06-13Fix lintian-overrides fileJoachim Breitner1-0/+0
2016-06-12agda: release 2.5.1-1Sean Whitton1-2/+2
2016-06-12agda: add patch headerSean Whitton1-0/+7
2016-06-12agda: update first line of d/copyrightSean Whitton2-1/+2
2016-06-12agda: update Vcs-GitSean Whitton2-2/+2
2016-06-12agda: disable -dbgsymSean Whitton2-0/+6
2016-06-12agda: override binary-or-shlib-defines-rpathSean Whitton2-0/+2
2016-06-12agda: actually fix .agdai generationSean Whitton1-1/+1
2016-06-10agda: attempt to fix .agdai generationSean Whitton1-2/+2
2016-06-10agda: more *.agdai pregenerationSean Whitton2-3/+6
2016-06-10add patch adding agda2-mode-pkg.elSean Whitton3-0/+7
2016-06-10agda: add dh-elpa build-depSean Whitton1-0/+1
2016-06-09agda: use dh_elpa (not yet tested)Sean Whitton3-7/+22
2016-06-09agda: drop -prof deps as not building agda-profSean Whitton2-21/+0
2016-06-09agda: update d/control & detail in changelogSean Whitton3-119/+183
2016-06-08start working on agda 2.5.1Sean Whitton10-0/+606
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 07:36:04 +0000