Merge pull request #4762 from clinty/cabal-debian

taking over debian and cabal-debian from David Fox
This commit is contained in:
Michael Snoyman 2019-08-26 09:46:35 +03:00 committed by GitHub
commit 4dca7da1ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1125,6 +1125,8 @@ packages:
- DAV
- hopenpgp-tools
- opensource
- debian
- cabal-debian
"Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":
- raaz