summaryrefslogtreecommitdiff
path: root/p/haskell-cryptol
AgeCommit message (Expand)AuthorFilesLines
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-17cryptol: Upgrading from 2.3.0 to 2.4.0Clint Adams2-52/+67
2016-06-02Fix some more VCS fields, and update changelogsGianfranco Costamagna1-0/+6
2016-06-02Fix more VCS fieldsGianfranco Costamagna1-1/+1
2016-05-29cryptol: Upgrading from 2.2.6 to 2.3.0Joachim Breitner2-2/+24
2016-05-10Bump standards version to 3.9.8 (no changes needed)Dmitry Bogatov2-1/+2
2016-05-10Use secure (https) uri in Vcs-Git field in 'debian/control'Dmitry Bogatov2-1/+7
2015-12-28add cryptolClint Adams9-0/+199