Alle Optionen
bullseye  ] [  sid  ]

Quellcode-Paket: haskell-dec (0.0.3-4)

Links für haskell-dec

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
libghc-dec-dev
decidable propositions
libghc-dec-doc
decidable propositions; documentation
libghc-dec-prof
decidable propositions; profiling libraries

Andere Pakete mit Bezug zu haskell-dec

  • build-depends
  • build-depends-indep

Download haskell-dec

DateiGröße (in kB)MD5-Prüfsumme
haskell-dec_0.0.3-4.dsc 2,0 kB 811b20666e0feb5aadc9d34778ff002b
haskell-dec_0.0.3.orig.tar.gz 2,6 kB 9c42dc4562b7e262b52fcf8eb2d1d41d
haskell-dec_0.0.3-4.debian.tar.xz 2,3 kB f2e357c126d848af756d869250d2bf55