| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2016-10-27 | change all haskell-devscripts B-Ds to >= 0.13 | Clint Adams | 1 | -1/+1 |
| 2016-10-27 | stage GHC 8 transition in sid | Clint Adams | 1 | -0/+6 |
| 2016-10-14 | smtLib: build with ghc 8 in experimental | Clint Adams | 2 | -26/+24 |
| 2016-06-02 | Fix some more VCS fields, and update changelogs | Gianfranco Costamagna | 1 | -0/+6 |
| 2016-06-02 | Fix more VCS fields | Gianfranco Costamagna | 1 | -1/+1 |
| 2016-05-30 | smtLib: Upgrading from 1.0.7 to 1.0.8 | Joachim Breitner | 1 | -2/+6 |
| 2016-05-10 | Bump standards version to 3.9.8 (no changes needed) | Dmitry Bogatov | 2 | -1/+2 |
| 2016-05-10 | Use secure (https) uri in Vcs-Git field in 'debian/control' | Dmitry Bogatov | 2 | -1/+7 |
| 2015-12-03 | fix changelogs | Clint Adams | 1 | -2/+2 |
| 2015-12-03 | Add missing Vcs-Git/Vcs-Browser headers (4 packages) | Clint Adams | 2 | -0/+8 |
| 2015-08-20 | Mark st3 for upload to experimental | Joachim Breitner | 1 | -2/+2 |
| 2015-08-20 | Depend on haskell-devscripts >= 0.10 to ensure that this package builds again... | Joachim Breitner | 2 | -1/+8 |
| 2015-08-14 | haskell-smtlib: added. | Kristoffer Rose | 7 | -0/+101 |
 |
index : DHG_packages | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |