» Ubuntu » Pakete » questing (25.10) » Quellcode » misc » haskell-type-level-numbers
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Quellcode-Paket: haskell-type-level-numbers (0.1.1.2-3) [universe]

Links für haskell-type-level-numbers

Ubuntu-Ressourcen:

Betreuer:

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

Original Maintainer (usually from Debian):

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

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
libghc-type-level-numbers-dev
library representing integers using Haskell type families
libghc-type-level-numbers-doc
library representing integers using Haskell type families; documentation
libghc-type-level-numbers-prof
library representing integers using Haskell type families; profiling libraries

Andere Pakete mit Bezug zu haskell-type-level-numbers

  • build-depends
  • build-depends-indep
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 10)
    helper programs for debian/rules
  • adep: ghc (>= 9.6)
    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)
  • idep: ghc-doc
    Documentation for the Glasgow Haskell Compilation system

Download haskell-type-level-numbers

DateiGröße (in kB)MD5-Prüfsumme
haskell-type-level-numbers_0.1.1.2-3.dsc 2,4 kB 724953cfa69eec015fa0494373c89728
haskell-type-level-numbers_0.1.1.2.orig.tar.gz 9,7 kB a2373d2c95518774304bde3876012830
haskell-type-level-numbers_0.1.1.2-3.debian.tar.xz 2,7 kB dddd1cc039bfbed1c7d47cd7ca25ae11
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-type-level-numbers]
Quellcode-Depot des Debian-Pakets (browsable)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-type-level-numbers