Publishing details

• Removal requested on 2018-04-06.
• Superseded on 2018-04-05 by picosat - 960-1build1
• Published on 2017-10-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

picosat (960-1) unstable; urgency=low


  * New upstream version

 -- Michael Tautschnig <email address hidden>  Sat, 08 Nov 2014 18:15:16 +0000

Builds

Package files

• picosat_960-1.debian.tar.xz (6.0 KiB)
• picosat_960-1.dsc (1.7 KiB)
• picosat_960-1_amd64.deb (119.2 KiB)
• picosat_960-1_arm64.deb (102.0 KiB)
• picosat_960-1_armhf.deb (112.0 KiB)
• picosat_960-1_i386.deb (143.6 KiB)
• picosat_960-1_powerpc.deb (118.7 KiB)
• picosat_960-1_ppc64el.deb (113.2 KiB)
• picosat_960-1_s390x.deb (107.8 KiB)
• picosat_960.orig.tar.gz (61.8 KiB)