Source
minisat2
Version
1:2.2.1-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 8 May 2023 11:04:58 +0000
Build-Path
/build/1st/minisat2-2.2.1

First submitted
Mon, 8 May 2023 11:08:48 +0000
SHA1 of .buildinfo
6285d37f116f746aa79e84530f5ae33fdbd53d01

Binaries

minisat (minisat_2.2.1-5_armhf.deb)
SHA1: 7e3e4aef6d9c2932738d746e40edd02492953d2e
SHA256: e6a5f03cd54c65dfa8ca0981ecac35ed4f128b691b3181c6110406ffbacaa0f8

Size: 75,840 bytes
minisat2 (minisat2_2.2.1-5_armhf.deb)
SHA1: 86cc9f3fdc67ffd462994d5adf0885ccaf54a3a4
SHA256: 0499933946ecde2d73d8132fd2a2dc24da43521d2a750cf90ddde9441573059c

Size: 4,180 bytes
minisat-dbgsym (minisat-dbgsym_2.2.1-5_armhf.deb)
SHA1: ed79f9475dbc8a1fd8c9fea5458292cc2a08a24f
SHA256: 3f252dea21aa33fe9721af0cd7b636b74af19babeb169cb1b1648cc47beb8d1d

Size: 220,592 bytes

Other checksums

Submissions

Submitted
Mon, 8 May 2023 11:08:49 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1406713105"