general
- source
- haskell-simple-smt (optional, misc)
- version
- 0.9.7-2
- maint
- Debian Haskell Group (a), Ilias Tsitsimpis (u)
- arch
- any all
- std-ver
- 4.6.2
- VCS
- Git (browse)
binaries
-
libghc-simple-smt-dev
(0 bugs:
0,
0,
0,
0)
A simple way to interact with an SMT solver process. -
libghc-simple-smt-doc
(0 bugs:
0,
0,
0,
0)
A simple way to interact with an SMT solver process.; documentation -
libghc-simple-smt-prof
(0 bugs:
0,
0,
0,
0)
A simple way to interact with an SMT solver process.; profiling libraries
todo
- Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
- Build log checks report 2 warnings about this package.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
- This package has "Build-Depends: cdbs" while cdbs needs a new maintainer, see O #1026085.
news RSS
- [2023-12-16] haskell-simple-smt 0.9.7-2 MIGRATED to testing (Britney)
- [2023-08-27] Accepted 0.9.7-2 in unstable (medium) (Debian FTP Masters)
- [2022-10-01] haskell-simple-smt 0.9.7-1 MIGRATED to testing (Britney)
- [2022-07-03] Accepted 0.9.7-1 in unstable (medium) (Debian FTP Masters)
- [2020-10-17] haskell-simple-smt 0.9.5-1 MIGRATED to testing (Britney)
- [2020-08-17] Accepted 0.9.5-1 in unstable (medium) (Debian FTP Masters)
- [2020-08-12] haskell-simple-smt 0.9.4-1 MIGRATED to testing (Britney)
- [2020-06-14] Accepted 0.9.4-1 in unstable (medium) (Debian FTP Masters)
- [2018-11-28] haskell-simple-smt 0.9.1-1 MIGRATED to testing (Britney)
- [2018-09-30] Accepted 0.9.1-1 in unstable (medium) (Ilias Tsitsimpis)
- [2018-07-03] Accepted 0.8-1 in unstable (medium) (Clint Adams)
- [2018-07-03] haskell-simple-smt 0.7.1-1 MIGRATED to testing (Britney)
- [2018-04-10] Accepted 0.7.1-1 in unstable (medium) (Clint Adams)
- [2018-04-10] Accepted 0.6.0-4 in unstable (medium) (Clint Adams)
- [2016-11-28] haskell-simple-smt 0.6.0-3 MIGRATED to testing (Britney)
- [2016-10-28] Accepted 0.6.0-3 in unstable (medium) (Clint Adams)
- [2016-10-14] Accepted 0.6.0-2 in experimental (medium) (Clint Adams)
- [2016-06-08] haskell-simple-smt 0.6.0-1 MIGRATED to testing (Britney)
- [2016-06-02] Accepted 0.6.0-1 in unstable (low) (Joachim Breitner)
links
- homepage
- changelog / copyright
- buildd: logs, checks, clang
- lintian (0, 1)
- popcon
- debtags
- screenshots
-
RDF meta-data
- browse source code