Publishing details

• Removal requested on 2022-07-23.
• Published on 2021-04-23
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

picosat (965-2) unstable; urgency=medium

  * Use dpkg buildtools.mk supply cross tools via environment
    - Thank you, Helmut Grohne! (Closes: #978542)
  * Add myself to uploaders
  * Add "Rules-Requires-Root: no"
  * Propagate hardening options properly

 -- Nilesh Patra <email address hidden>  Sun, 21 Feb 2021 12:17:23 +0530

Builds

Package files

• picosat-dbgsym_965-2_amd64.ddeb (372.0 KiB)
• picosat-dbgsym_965-2_arm64.ddeb (363.8 KiB)
• picosat-dbgsym_965-2_armhf.ddeb (445.2 KiB)
• picosat-dbgsym_965-2_ppc64el.ddeb (561.8 KiB)
• picosat-dbgsym_965-2_riscv64.ddeb (420.9 KiB)
• picosat-dbgsym_965-2_s390x.ddeb (467.0 KiB)
• picosat_965-2.debian.tar.xz (6.2 KiB)
• picosat_965-2.dsc (1.9 KiB)
• picosat_965-2_amd64.deb (89.7 KiB)
• picosat_965-2_arm64.deb (82.2 KiB)
• picosat_965-2_armhf.deb (81.1 KiB)
• picosat_965-2_ppc64el.deb (117.8 KiB)
• picosat_965-2_riscv64.deb (143.4 KiB)
• picosat_965-2_s390x.deb (101.9 KiB)
• picosat_965.orig.tar.gz (62.9 KiB)