History of p / haskell-smtlib @32427cc3-a923-4dda-854a-be58588ba3e5/main
- smtLib: Upgrading from 1.0.9 to 1.1 Ilias Tsitsimpis 3 years ago
- Sourceful upload for ghc-8.4.3 (haddock-interface-33) Ilias Tsitsimpis 5 years ago
- Bump debhelper compat level to 10 Ilias Tsitsimpis 5 years ago
- smtLib: Upgrading from 1.0.8 to 1.0.9 Clint Adams 5 years ago
- update Vcs-Git fields to make vcswatch happier Clint Adams 5 years ago
- Set Rules-Requires-Root to no. (968 packages) Clint Adams 6 years ago
- sourceful uploads for ghc 8.2 Clint Adams 6 years ago
- Bump to Standards-Version 4.1.4. (942 packages) Clint Adams 6 years ago
- Use salsa.debian.org URLs in Vcs-{Browser,Git} fields Ilias Tsitsimpis 6 years ago
- Declare compliance with Debian policy 4.1.1 Ilias Tsitsimpis 6 years ago
- Modify d/watch and Source field in d/copyright to use HTTPS Ilias Tsitsimpis 6 years ago
- Use the HTTPS form of the copyright-format URL Ilias Tsitsimpis 6 years ago
- Change Priority to optional Ilias Tsitsimpis 6 years ago
- change all haskell-devscripts B-Ds to >= 0.13 Clint Adams 7 years ago
- stage GHC 8 transition in sid Clint Adams 7 years ago
- smtLib: build with ghc 8 in experimental Clint Adams 7 years ago
- Fix some more VCS fields, and update changelogs Gianfranco Costamagna 7 years ago
- Fix more VCS fields Gianfranco Costamagna 7 years ago
- smtLib: Upgrading from 1.0.7 to 1.0.8 Joachim Breitner 7 years ago
- Bump standards version to 3.9.8 (no changes needed) Dmitry Bogatov 8 years ago
- Use secure (https) uri in Vcs-Git field in 'debian/control' Dmitry Bogatov 8 years ago
- fix changelogs Clint Adams 8 years ago
- Add missing Vcs-Git/Vcs-Browser headers (4 packages) Clint Adams 8 years ago
- Mark st3 for upload to experimental Joachim Breitner 8 years ago
- Depend on haskell-devscripts >= 0.10 to ensure that this package builds against GHC in experimental (727 packages) Joachim Breitner 8 years ago
- haskell-smtlib: added. Kristoffer Rose 8 years ago