Format: 1.8 Date: Sat, 11 Sep 2021 07:00:50 +0200 Source: haskell-cryptol Binary: cryptol libghc-cryptol-dev libghc-cryptol-prof Built-For-Profiles: noudeb Architecture: riscv64 Version: 2.8.0-1build5.1 Distribution: impish-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Matthias Klose Description: cryptol - libghc-cryptol-dev - libghc-cryptol-prof - Changes: haskell-cryptol (2.8.0-1build5.1) impish; urgency=medium . * No-change rebuild for libffi soname change. Checksums-Sha1: 5200f1f0e2cf443572798b60c7413e9896f1d20e 6617002 cryptol_2.8.0-1build5.1_riscv64.deb d56d6f2c3c2990373de7793ca618dd9626713349 11363 haskell-cryptol_2.8.0-1build5.1_riscv64.buildinfo 53e7eac27e367dac59566914e324278d5e72d123 11027380 libghc-cryptol-dev_2.8.0-1build5.1_riscv64.deb 6085687f4c167c08cb4596cc7f06dd567cb6ed77 11782170 libghc-cryptol-prof_2.8.0-1build5.1_riscv64.deb Checksums-Sha256: 87411341b2861479cbf94d7c2b92cc150a321f0f3eed82f74478bb9936d6eb07 6617002 cryptol_2.8.0-1build5.1_riscv64.deb 7e3b1936a9f3388f3bcf7c132d099f731bae5c99b84417ee03cfc815620cdbf5 11363 haskell-cryptol_2.8.0-1build5.1_riscv64.buildinfo f3e85eae5712154b39f92e739c468b9c890058694e7ec94140658679b205dda5 11027380 libghc-cryptol-dev_2.8.0-1build5.1_riscv64.deb 0028f57af643f3aa5fdf3ea49e5aa204195fbd5d1e45ceb192b8f22c8501804e 11782170 libghc-cryptol-prof_2.8.0-1build5.1_riscv64.deb Files: 982123756dd255753d9583fcdd3aca3b 6617002 utils optional cryptol_2.8.0-1build5.1_riscv64.deb 469efcb6c3928369ff74c76894ed6a53 11363 haskell optional haskell-cryptol_2.8.0-1build5.1_riscv64.buildinfo 51db9db9576bf79c2935cab1a29cbb43 11027380 haskell optional libghc-cryptol-dev_2.8.0-1build5.1_riscv64.deb 4eeb675743f08f49bfcb0417cc11de57 11782170 haskell optional libghc-cryptol-prof_2.8.0-1build5.1_riscv64.deb Original-Maintainer: Debian Haskell Group