summaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAge
* Release for unstable2.3.0.61016+dfsg+2.gbp4108246-1Gravatar Benjamin Barenblat2016-06-05
* Update man pagesGravatar Benjamin Barenblat2016-06-05
* Update debian/gbp.confGravatar Benjamin Barenblat2016-06-05
* 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