general
- source
- haskell-what4 (optional, misc)
- version
- 1.5.1-3
- maint
- Debian Haskell Group (a), Scott Talbert (u)
- arch
- any all
- std-ver
- 4.6.2
- VCS
- Git (browse)
binaries
-
haskell-what4-utils
(0 bugs:
0,
0,
0,
0)
Solver-agnostic symbolic values support for issuing queries -
libghc-what4-dev
(0 bugs:
0,
0,
0,
0)
Solver-agnostic symbolic values support for issuing queries -
libghc-what4-doc
(0 bugs:
0,
0,
0,
0)
Solver-agnostic symbolic values support for issuing queries; documentation -
libghc-what4-prof
(0 bugs:
0,
0,
0,
0)
Solver-agnostic symbolic values support for issuing queries; profiling libraries
todo
- Lintian reports 9 errors and 5 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning 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).
- A new upstream version is available: 1.6, you should consider packaging it.
- This package has "Build-Depends: cdbs" while cdbs needs a new maintainer, see O #1026085.
news RSS
- [2023-12-16] haskell-what4 1.5.1-3 MIGRATED to testing (Britney)
- [2023-11-04] Accepted 1.5.1-3 in unstable (medium) (Debian FTP Masters)
- [2023-10-25] Accepted 1.5.1-2 in unstable (medium) (Debian FTP Masters)
- [2023-10-24] Accepted 1.5.1-1 in unstable (medium) (Debian FTP Masters)
- [2022-10-17] haskell-what4 1.3-4 MIGRATED to testing (Britney)
- [2022-10-12] Accepted 1.3-4 in unstable (medium) (Debian FTP Masters)
- [2022-10-10] Accepted 1.3-3 in unstable (medium) (Debian FTP Masters)
- [2022-08-18] Accepted 1.3-2 in unstable (medium) (Debian FTP Masters)
- [2022-08-18] Accepted 1.3-1 in unstable (low) (Debian FTP Masters)
