Source
ssreflect
Version
1.6-1
Architecture
all i386

Build-Origin
Build-Architecture
i386
Build-Date
Build-Path

First submitted
Sun, 30 Oct 2016 17:33:27 +0000
SHA1 of .buildinfo
3ddf895756369c8399fc812b597849f119920b48

Binaries

libssreflect-coq (libssreflect-coq_1.6-1_all.deb)
SHA1: f1c03d1d43964234769ac75d9f559488e68fc483
SHA256: 0a63844a78bf6cfce2f5f18ffbb3b9722ff012c19d881a7b5a72e3b1f8ee1155

Size: 23,711,760 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6-1_i386.deb)
SHA1: 13ef836f187c98fa7931fda204ffb23ae31d8e7c
SHA256: 8cf474ba3552da6f13626af0dc7d166a7ba86db7792a5dedf8f615af46fdd842

Size: 400,060 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6-1_i386.deb)
SHA1: bfd99fbd07227c60e829995d28401a78794478a2
SHA256: 30f08d37fe8e2dfae9874139c6297f90b9dcaacdb599ce26c5cdfa572d7021a0

Size: 62,518 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6-1_i386.deb
SHA1: 7eb742ed5d8b073ba6045fe76102e07596a6ff23
Size: 43,388 bytes

Submissions

Environment