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 | simple-smt: 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-06-01 | Initial packaging of simple-smt-0.6.0 | Joachim Breitner | 7 | -0/+116 |