Publishing details

• Published on 2023-10-24
• Copied from anything by xiewei
• Originally uploaded to openkylin yangtze in Primary Archive for openKylin

Changelog

haskell-dec (0.0.3-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Builds

• i386

Built packages

• libghc-dec-dev decidable propositions

• libghc-dec-doc decidable propositions; documentation

• libghc-dec-prof decidable propositions; profiling libraries

Package files

• haskell-dec_0.0.3-ok1.debian.tar.xz (2.1 KiB)
• haskell-dec_0.0.3-ok1.dsc (1.8 KiB)
• haskell-dec_0.0.3.orig.tar.gz (2.6 KiB)
• libghc-dec-dev_0.0.3-ok1_amd64.deb (15.4 KiB)
• libghc-dec-dev_0.0.3-ok1_arm64.deb (16.7 KiB)
• libghc-dec-dev_0.0.3-ok1_riscv64.deb (23.5 KiB)
• libghc-dec-doc_0.0.3-ok1_all.deb (27.9 KiB)
• libghc-dec-prof_0.0.3-ok1_amd64.deb (12.7 KiB)
• libghc-dec-prof_0.0.3-ok1_arm64.deb (13.8 KiB)
• libghc-dec-prof_0.0.3-ok1_riscv64.deb (23.2 KiB)