pakettien nimistä kuvauksista lähdepakettien nimistä pakettien sisällöistä Tarkennettu haku

[  jammy  ] [  noble  ] [  questing  ]

Links for haskell-sbv

Ubuntu-palvelut:

• Vikailmoitukset
• Ubuntu-muutosloki
• Tekijänoikeustiedosto
• Debian Source Repository (Git)

Ylläpitäjä:

• Ubuntu MOTU Developers (Mail Archive)

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

Original Maintainers (usually from Debian):

• Debian Haskell Group (Mail Archive)
• Clint Adams

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

External Resources:

• Kotisivu [leventerkok.github.io]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

libghc-sbv-dev

symbolic Haskell theorem prover using SMT solving

libghc-sbv-doc

symbolic Haskell theorem prover using SMT solving; documentation

libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries

Muut pakettiin haskell-sbv liittyvät paketit

build-depends

build-depends-indep

• adep: cdbs

  common build system for Debian packages

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: ghc (>= 9.4)

  The Glasgow Haskell Compilation system

• adep: ghc-prof

  Profiling libraries for the Glasgow Haskell Compilation system

• adep: haskell-devscripts (>= 0.13)

  Debian tools to build Haskell packages (with hscolour)

• adep: libghc-quickcheck2-dev

  Haskell automatic testing library for GHC

• adep: libghc-quickcheck2-prof

  Haskell automatic testing library for GHC; profiling libraries

• adep: libghc-async-dev

  run IO operations asynchronously and wait for their results

• adep: libghc-async-prof

  run IO operations asynchronously and wait for their results; profiling libs

• adep: libghc-libbf-dev

  Binding to the libBF library

• adep: libghc-libbf-prof

  Binding to the libBF library; profiling libraries

• adep: libghc-random-dev

  random number generator for Haskell

• adep: libghc-random-prof

  random number generator for Haskell; profiling libraries

• adep: libghc-syb-dev

  Generic programming library for Haskell

• adep: libghc-syb-prof

  Generic programming library for Haskell; profiling libraries

• adep: libghc-uniplate-dev

  A Haskell library for uniform type generic traversals

• adep: libghc-uniplate-prof

  Profiling libraries for uniform type generic traversals; profiling libraries

• idep: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

• idep: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; documentation

• idep: libghc-async-doc

  run IO operations asynchronously and wait for their results; documentation

• idep: libghc-libbf-doc

  Binding to the libBF library; documentation

• idep: libghc-random-doc

  random number generator for Haskell; documentation

• idep: libghc-syb-doc

  Generic programming library for Haskell; documentation

• idep: libghc-uniplate-doc

  Documentation for uniform type generic traversals; documentation

Download haskell-sbv

Tiedosto	Koko (kt)	MD5-tarkiste
haskell-sbv_10.2-1.dsc	2.5 kt	059eab8fb458df3ff503f247b88f62fc
haskell-sbv_10.2.orig.tar.gz	1,021.6 kt	af91600d4d22cfa72aeb2c7e918eaa38
haskell-sbv_10.2-1.debian.tar.xz	2.8 kt	d9c45993c4629aebe02726b4b92eef28

Debian Package Source Repository (VCS: Git)

https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv]

Debian Package Source Repository (Browsable)

https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-sbv