[ trixie ] [ forky ] [ sid ]

原始碼套件：haskell-ogma-language-smv（1.10.0-1）

haskell-ogma-language-smv 的相關連結

本原始碼套件構建了以下這些二進位制包：

libghc-ogma-language-smv-dev: Ogma: Runtime Monitor translator: SMV Language Frontend
libghc-ogma-language-smv-doc: Ogma: Runtime Monitor translator: SMV Language Frontend; documentation
libghc-ogma-language-smv-prof: Ogma: Runtime Monitor translator: SMV Language Frontend; profiling libraries

adep: debhelper (>= 10)

helper programs for debian/rules
adep: haskell-devscripts-minimal

Tools to help Debian developers build Haskell packages

或者 haskell-devscripts (>= 0.13)

Debian tools to build Haskell packages (with hscolour)
adep: cdbs

common build system for Debian packages
adep: ghc

The Glasgow Haskell Compilation system
adep: ghc-prof

Profiling libraries for the Glasgow Haskell Compilation system
adep: alex (>= 3)

lexical analyser generator for Haskell
adep: bnfc (>= 2.9.4)

Compiler front-end generator based on Labelled BNF
adep: happy (>= 1.19)

Parser generator for Haskell
adep: libghc-quickcheck2-dev (>= 2.8.2)

Haskell automatic testing library for GHC
adep: libghc-quickcheck2-dev (<< 2.16)

Haskell automatic testing library for GHC
adep: libghc-quickcheck2-prof

Haskell automatic testing library for GHC; profiling libraries
adep: libghc-test-framework-dev (>= 0.8.2)

Framework for running and organising tests
adep: libghc-test-framework-dev (<< 0.9)

Framework for running and organising tests
adep: libghc-test-framework-prof

Framework for running and organising tests; profiling libraries
adep: libghc-test-framework-quickcheck2-dev (>= 0.3.0.4)

QuickCheck2 support for the test-framework package.
adep: libghc-test-framework-quickcheck2-dev (<< 0.4)

QuickCheck2 support for the test-framework package.
adep: libghc-test-framework-quickcheck2-prof

QuickCheck2 support for the test-framework package.; profiling libraries

檔案	大小（單位：kB）	MD5 校驗碼
haskell-ogma-language-smv_1.10.0-1.dsc	2。8 kB	e5212f73719be05634311c89f428583e
haskell-ogma-language-smv_1.10.0.orig.tar.gz	8。4 kB	70e7dd9a73bd89fe0bedc341ebd57c64
haskell-ogma-language-smv_1.10.0-1.debian.tar.xz	2。1 kB	fc3e6cae01af730a2fb46cd95caa27c7

Debian 套件原始碼倉庫（VCS：Git）: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-ogma-language-smv]
Debian 套件原始碼倉庫（可線上瀏覽）: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-ogma-language-smv