coq-deriving (0.1.1-1)_0.1.1-1+b1_riscv64.buildinfo (view)

Source
coq-deriving (0.1.1-1)
Version
0.1.1-1+b1
Architecture
riscv64

Build-Origin
Debian
Build-Architecture
riscv64
Build-Date
Sun, 24 Sep 2023 09:29:36 +0000
Build-Path
/build/reproducible-path/coq-deriving-0.1.1

First submitted
Sun, 24 Sep 2023 12:17:08 +0000
SHA1 of .buildinfo
a74c6e3de0aa8682d05825f351bde8d1fb9b16aa

Binaries

libcoq-deriving (libcoq-deriving_0.1.1-1+b1_riscv64.deb)
SHA1: ba2412ed604c7b2b14430722b4d64b764e00464e
SHA256: c63797c9ab4335f3629919fa0c658e336fcde5de04bb5c29bf5764e9157922d9

Size: 423,152 bytes

Other checksums

Submissions

dghmxasg
Submitted
Sun, 24 Sep 2023 12:17:08 +0000
Signed by
0x1388C0F899E8336B Aurelien Jarno <aurelien@aurel32.net>

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1695546605"