[ 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)

用于 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