1.2.1-1
armhf
Debian
armhf
Sun, 28 Jan 2024 09:35:50 +0000
/build/reproducible-path/coq-reglang-1.2.1
2586014accdcc3e15e8424c9440d0b70044801f1
libcoq-reglang_1.2.1-1_armhf.deb
)
f6406e2fd9b72872a1106ab8f5d4cd8baeb015c3
073a93d42776dc28c33e961c0cea07266050ace895df269c70665c73d6b7f024
0x2EB7D8A099C83DD8
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1705780770"