Source
picosat
Version
960-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 10 Nov 2019 15:06:53 +0000
Build-Path
/build/picosat-960

First submitted
Sun, 10 Nov 2019 15:07:34 +0000
SHA1 of .buildinfo
2d961d51be41cf5f9fe1c2f99c122863df1056eb

Binaries

picosat (picosat_960-1_amd64.deb)
SHA1: e7e22ec89662876f64c2b27bf3f81f8733f57c8d
SHA256: da2a667bf05665b37488ee72b9c60199e898af5367b2ad31252815cd2280e8f3

Size: 115,596 bytes

Other checksums

picosat-dbgsym_960-1_amd64.deb
SHA1: 27d9ed2379215ec8ce7847fa199486043df8123e
Size: 8,868 bytes

Submissions

Submitted
Sun, 10 Nov 2019 15:07:35 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1415470516"