Publishing details

• Published on 2024-03-26

Changelog

haskell-copilot-theorem (3.18.1-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Tue, 26 Mar 2024 16:36:09 +0800

Builds

• amd64
• arm64
• i386
• loong64
• riscv64
• rv64g

Built packages

• libghc-copilot-theorem-dev k-induction for Copilot.

• libghc-copilot-theorem-doc k-induction for Copilot.; documentation

• libghc-copilot-theorem-prof k-induction for Copilot.; profiling libraries

Package files

• haskell-copilot-theorem_3.18.1-ok1.debian.tar.xz (2.5 KiB)
• haskell-copilot-theorem_3.18.1-ok1.dsc (3.5 KiB)
• haskell-copilot-theorem_3.18.1.orig.tar.gz (65.8 KiB)
• libghc-copilot-theorem-dev_3.18.1-ok1_amd64.deb (570.3 KiB)
• libghc-copilot-theorem-dev_3.18.1-ok1_arm64.deb (574.6 KiB)
• libghc-copilot-theorem-doc_3.18.1-ok1_all.deb (199.8 KiB)
• libghc-copilot-theorem-prof_3.18.1-ok1_amd64.deb (504.1 KiB)
• libghc-copilot-theorem-prof_3.18.1-ok1_arm64.deb (578.8 KiB)