Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
haskell:simple-smt
43
package(s) known
Arch Linux
extra
haskell-simple-smt
0.9.8
(0.9.8-1)
Summary:
A simple way to interact with an SMT solver process
License:
BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
,
no IPv6
Arch Linux 32 i686
extra
haskell-simple-smt
0.9.7
(0.9.7-1.0)
Summary:
A simple way to interact with an SMT solver process
License:
BSD
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Arch Linux 32 pentium4
extra
haskell-simple-smt
0.9.7
(0.9.7-1.0)
Summary:
A simple way to interact with an SMT solver process
License:
BSD
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Debian 10
buster/main
haskell-simple-smt
0.9.1
(0.9.1-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 11
bullseye/main
haskell-simple-smt
0.9.5
(0.9.5-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 12
bookworm/main
haskell-simple-smt
0.9.7
(0.9.7-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 13
trixie/main
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
misc
Link(s):
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
deepin 20
main
haskell-simple-smt
0.9.1
(0.9.1-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan 3.0
beowulf/main
haskell-simple-smt
0.9.1
(0.9.1-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan 4.0
chimaera/main
haskell-simple-smt
0.9.5
(0.9.5-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan Unstable
unstable/main
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Hackage
simple-smt
0.9.8
Summary:
A simple way to interact with an SMT solver process.
Maintainer:
iavor.diatchki@gmail.com
Category:
Math
License:
BSD3
Link(s):
Project page
ok
,
no IPv6
Kali Linux Rolling
main
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Manjaro Stable
extra
haskell-simple-smt
0.9.8
(0.9.8-1)
Summary:
A simple way to interact with an SMT solver process
License:
BSD-3-Clause
Link(s):
Upstream homepage
ok
,
no IPv6
Manjaro Testing
extra
haskell-simple-smt
0.9.8
(0.9.8-1)
Summary:
A simple way to interact with an SMT solver process
License:
BSD-3-Clause
Link(s):
Upstream homepage
ok
,
no IPv6
Manjaro Unstable
extra
haskell-simple-smt
0.9.8
(0.9.8-1)
Summary:
A simple way to interact with an SMT solver process
License:
BSD-3-Clause
Link(s):
Upstream homepage
ok
,
no IPv6
nixpkgs stable 22.11
simple-smt
0.9.7
Summary:
A simple way to interact with an SMT solver process
Maintainer:
fallback-mnt-nix@repology
Category:
haskellPackages
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 23.05
simple-smt
0.9.7
Summary:
A simple way to interact with an SMT solver process
Maintainer:
fallback-mnt-nix@repology
Category:
haskellPackages
License:
BSD-3-Clause
Link(s):
Package recipe
Upstream homepage
ok
,
no IPv6
nixpkgs stable 23.11
simple-smt
0.9.7
Summary:
A simple way to interact with an SMT solver process
Maintainer:
fallback-mnt-nix@repology
Category:
haskellPackages
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
nixpkgs stable 24.05
simple-smt
0.9.7
Summary:
A simple way to interact with an SMT solver process
Maintainer:
fallback-mnt-nix@repology
Category:
haskellPackages
License:
BSD-3-Clause
Link(s):
Package recipe
Upstream homepage
ok
,
no IPv6
nixpkgs stable 24.11
simple-smt
0.9.7
Summary:
A simple way to interact with an SMT solver process
Maintainer:
fallback-mnt-nix@repology
Category:
haskellPackages
License:
BSD-3-Clause
Link(s):
Package recipe
Upstream homepage
ok
,
no IPv6
Package build logs
Package build logs
ok
Package build logs
Package build logs
nixpkgs stable 25.05
simple-smt
0.9.8
Summary:
A simple way to interact with an SMT solver process
Maintainer:
fallback-mnt-nix@repology
Category:
haskellPackages
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Package build logs
Package build logs
Package build logs
Package build logs
nixpkgs unstable
simple-smt
0.9.8
Summary:
A simple way to interact with an SMT solver process
Maintainer:
fallback-mnt-nix@repology
Category:
haskellPackages
License:
BSD-3-Clause
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Package build logs
Package build logs
Package build logs
Package build logs
Parabola
extra
haskell-simple-smt
0.9.8
(0.9.8-1)
Summary:
A simple way to interact with an SMT solver process
License:
BSD-3-Clause
Link(s):
Package page
ok
Upstream homepage
ok
,
no IPv6
Pardus 21
main
haskell-simple-smt
0.9.5
(0.9.5-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot/main
haskell-simple-smt
0.9.7
(0.9.7-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot-updates/main
haskell-simple-smt
0.9.7
(0.9.7-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
PureOS amber
amber/main
haskell-simple-smt
0.9.1
(0.9.1-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
haskell
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
PureOS byzantium
byzantium/main
haskell-simple-smt
0.9.5
(0.9.5-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
haskell
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
PureOS landing
landing/main
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
haskell
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Raspbian Oldstable
main
haskell-simple-smt
0.9.5
(0.9.5-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Stable
main
haskell-simple-smt
0.9.7
(0.9.7-1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Testing
main
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Trisquel 10.0
nabia/main
haskell-simple-smt
0.9.1
(0.9.1-1build1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Trisquel 11.0
aramo/main
haskell-simple-smt
0.9.5
(0.9.5-1build1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
nomeata@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Ubuntu 18.04
bionic/universe
haskell-simple-smt
0.6.0
(0.6.0-3build1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
universe/misc
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 20.04
focal/universe
haskell-simple-smt
0.9.1
(0.9.1-1build1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
nomeata@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.04
jammy/universe
haskell-simple-smt
0.9.5
(0.9.5-1build1)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
nomeata@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 24.04
noble/universe
haskell-simple-smt
0.9.7
(0.9.7-2)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 24.10
oracular/universe
haskell-simple-smt
0.9.7
(0.9.7-2build1)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 25.04
plucky/universe
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 25.10
questing/universe
haskell-simple-smt
0.9.7
(0.9.7-3)
Maintainers:
pkg-haskell-maintainers@lists.alioth.debian.org
iliastsi@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6