» Ubuntu » Packages » mantic (23.10) » haskell » libghc-presburger-prof
focal  ] [  jammy  ] [  mantic  ] [  noble  ] [  oracular  ]
[ Source: haskell-presburger  ]

Package: libghc-presburger-prof (1.3.1-9build1) [universe]

Links for libghc-presburger-prof

Screenshot

Ubuntu Resources:

Download Source Package haskell-presburger:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

decision procedure for quantifier-free linear arithmetic; profiling libraries

Other Packages Related to libghc-presburger-prof

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-presburger-prof

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 148.6 kB1,325.0 kB [list of files]
arm64 237.0 kB2,185.0 kB [list of files]
armhf 225.5 kB1,551.0 kB [list of files]
ppc64el 213.1 kB2,301.0 kB [list of files]
riscv64 361.9 kB3,487.0 kB [list of files]
s390x 261.9 kB2,574.0 kB [list of files]