Debian
haskell-smtlib package

Branches for Experimental

Name Status Last Modified Last Commit
lp:debian/experimental/haskell-smtlib 1 Development 2015-08-23 04:16:54 UTC
3. Depend on haskell-devscripts >= 0.10 ...

Author: Joachim Breitner
Revision Date: 2015-08-20 10:28:42 UTC

Depend on haskell-devscripts >= 0.10 to ensure that this package
builds against GHC in experimental
1 → 1 of 1 result First • Previous • Next • Last