Merge pull request #4762 from clinty/cabal-debian
taking over debian and cabal-debian from David Fox
commit4dca7da1ad9ca583803529fb779132f19b95be22
authorMichael Snoyman <michael@snoyman.com>
dateMon 26 Aug 2019, 09:46 (7 years ago)
parent530d5534547eae
build-constraints.yaml+2
@@ -1125,6 +1125,8 @@ packages:
11251125 - DAV
11261126 - hopenpgp-tools
11271127 - opensource
1128+ - debian
1129+ - cabal-debian
11281130
11291131 "Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":
11301132 - raaz