3.4.0-1
arm64
Debian
arm64
Tue, 28 Jan 2025 08:04:17 +0000
/build/reproducible-path/coquelicot-3.4.0
87f8e5a7d6dadf12a2f87d413934092aabb45e9d
libcoq-coquelicot_3.4.0-1_arm64.deb
)
37a3d459d6b8c1edf72f814adfb32a6b0142acc9
56dea68dcc154a4d5fd4b583a8f67758bfbbe05e588a934510b427572a60c5d2
0x8C42C611576CA54A
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703240610"