coq-elpi_1.13.0-3_i386.buildinfo (view)

Source
coq-elpi
Version
1.13.0-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 1 Apr 2022 19:21:03 +0000
Build-Path
/build/coq-elpi-AAIcif/coq-elpi-1.13.0

First submitted
Sat, 2 Apr 2022 00:13:08 +0000
SHA1 of .buildinfo
82b860989b25c6f85fee58be28e0d8a055e68e8c

Binaries

libcoq-elpi-ocaml (libcoq-elpi-ocaml_1.13.0-3_i386.deb)
SHA1: 9d1cc97d0df72a50aee550230701760be1f02f06
SHA256: 378ebaad746957fb4ba3f1f8320ba745cab5b3fdd08df7bc338bdebd87a97d4e

Size: 3,446,440 bytes
libcoq-elpi-ocaml-dbgsym (libcoq-elpi-ocaml-dbgsym_1.13.0-3_i386.deb)
SHA1: 19db8515f85c19c30a21e13b334d174ea6f38709
SHA256: d5e98d913d58a5d4deea0ecb7322534d3e39f813f09b7004f41516b483187297

Size: 224,300 bytes
libcoq-elpi-ocaml-dev (libcoq-elpi-ocaml-dev_1.13.0-3_i386.deb)
SHA1: 14dc2fb3503750feabc79ab850f9cb5d167b2add
SHA256: 948e30b7e891fb4d83a2ea42e4621feae70865c3d71a920c44dc6c5441496668

Size: 1,276,992 bytes

Other checksums

Submissions

izybdu3p
Submitted
Sat, 2 Apr 2022 00:13:08 +0000
Signed by
0xB46845950145956B

Environment


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