2.0.6-2
arm64
Debian
arm64
Mon, 20 May 2024 11:38:03 +0000
/build/coq-libhyps-2.0.6
474454d0c83c5b2b3470c35d5b099bab1e3a53e3
libcoq-libhyps_2.0.6-2_arm64.deb
)
c3d8bb58438a441b4b487c4699eeac4fd8e01fa6
91d8db83a9da92c2f42d3bd0014dce61be804786bb11fa32d4f6e702e883eb31
0xB42DAAC6B200534A
codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674630315"