summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Update debian/copyrightGravatar Benjamin Barenblat2016-06-05
* Update debian/controlGravatar Benjamin Barenblat2016-06-05
* Bump debian/changelogGravatar Benjamin Barenblat2016-06-05
* Update dependencies and Standards-VersionGravatar Benjamin Barenblat2016-04-06
* Add gbp.confGravatar Benjamin Barenblat2015-08-30
* Get rid of Built-UsingGravatar Benjamin Barenblat2015-08-30
* Move release to unstableGravatar Benjamin Barenblat2015-08-30
* Package Dafny for experimentalGravatar Benjamin Barenblat2015-08-14