Publishing details

• Published on 2024-01-10
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

haskell-copilot-libraries (3.18.1-2) unstable; urgency=medium

  * Add z3 as BD to fix tests

 -- Scott Talbert <email address hidden>  Tue, 09 Jan 2024 10:11:53 -0500

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• libghc-copilot-libraries-dev Libraries for the Copilot language.

• libghc-copilot-libraries-doc Libraries for the Copilot language.; documentation

• libghc-copilot-libraries-prof Libraries for the Copilot language.; profiling libraries

Package files

• haskell-copilot-libraries_3.18.1-2.debian.tar.xz (2.5 KiB)
• haskell-copilot-libraries_3.18.1-2.dsc (2.8 KiB)
• haskell-copilot-libraries_3.18.1.orig.tar.gz (19.3 KiB)
• libghc-copilot-libraries-dev_3.18.1-2_amd64.deb (148.2 KiB)
• libghc-copilot-libraries-dev_3.18.1-2_arm64.deb (159.9 KiB)
• libghc-copilot-libraries-dev_3.18.1-2_armhf.deb (160.2 KiB)
• libghc-copilot-libraries-dev_3.18.1-2_ppc64el.deb (226.6 KiB)
• libghc-copilot-libraries-dev_3.18.1-2_riscv64.deb (268.2 KiB)
• libghc-copilot-libraries-dev_3.18.1-2_s390x.deb (214.9 KiB)
• libghc-copilot-libraries-doc_3.18.1-2_all.deb (66.6 KiB)
• libghc-copilot-libraries-prof_3.18.1-2_amd64.deb (144.3 KiB)
• libghc-copilot-libraries-prof_3.18.1-2_arm64.deb (181.6 KiB)
• libghc-copilot-libraries-prof_3.18.1-2_armhf.deb (190.1 KiB)
• libghc-copilot-libraries-prof_3.18.1-2_ppc64el.deb (202.7 KiB)
• libghc-copilot-libraries-prof_3.18.1-2_riscv64.deb (324.7 KiB)
• libghc-copilot-libraries-prof_3.18.1-2_s390x.deb (212.6 KiB)