summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Update debian/controlGravatar Benjamin Barenblat2016-06-05
* Update debian/changelogGravatar Benjamin Barenblat2016-06-05
* Add gbp.confGravatar Benjamin Barenblat2016-04-01
* Move release to unstableGravatar Benjamin Barenblat2016-04-01
* Package Boogie programs for experimentalGravatar Benjamin Barenblat2016-04-01
* Package Boogie library for experimentalGravatar Benjamin Barenblat2016-04-01