Publishing details

• Removal requested on 2020-12-29.
• Published on 2019-08-20
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

picosat (965-1) unstable; urgency=medium

  * Team upload.
  * Move packaging to Debian Science team
  * debhelper-compat 12
  * Standards-Version: 4.4.0
  * Secure URI in copyright format
  * Remove old boilerplate from debian/rules
  * Trim trailing whitespace.
  * Set upstream metadata fields: Contact, Name.
  * d/rules: Use default flags
  * Split patch into logical pieces
  * Multiarch location for libraries
  * Fix symbols file
  * Hardening

 -- Andreas Tille <email address hidden>  Tue, 20 Aug 2019 10:44:08 +0200

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• picosat-dbgsym_965-1_amd64.ddeb (378.3 KiB)
• picosat-dbgsym_965-1_arm64.ddeb (365.6 KiB)
• picosat-dbgsym_965-1_armhf.ddeb (359.7 KiB)
• picosat-dbgsym_965-1_i386.ddeb (344.9 KiB)
• picosat-dbgsym_965-1_ppc64el.ddeb (575.1 KiB)
• picosat-dbgsym_965-1_riscv64.ddeb (437.8 KiB)
• picosat-dbgsym_965-1_s390x.ddeb (486.1 KiB)
• picosat_965-1.debian.tar.xz (5.8 KiB)
• picosat_965-1.dsc (1.9 KiB)
• picosat_965-1_amd64.deb (91.2 KiB)
• picosat_965-1_arm64.deb (82.1 KiB)
• picosat_965-1_armhf.deb (81.3 KiB)
• picosat_965-1_i386.deb (94.0 KiB)
• picosat_965-1_ppc64el.deb (118.5 KiB)
• picosat_965-1_riscv64.deb (145.4 KiB)
• picosat_965-1_s390x.deb (83.5 KiB)
• picosat_965.orig.tar.gz (62.9 KiB)