Giters

coq / opam

Archive for all Coq related OPAM packages organized in various repositories

Home Page:https://coq.inria.fr/opam/www/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Wrong checksum for coq-probhash

clarus opened this issue · comments

commented

Hi @Gopiandcode ,

The checksum for coq-probhash.0.0.1 seems wrong:

  • expected: 06365f9779104cc43e4f8fb069549c2eafe815512d1f49ef8fc865582510ce66
  • actual: 5416de8b68f40c8640ace116494ac87b5e9af23c0194786fe4bcafe0b2f4dc29

Was there a recent change in the archive? Due to this issue the package does not install.

commented

Example of execution with the issue:

Command
opam list; echo; ulimit -Sv 4000000; timeout 1h opam install -y -v coq-probhash.0.0.1 coq.8.9.1
Return code
10240
Duration
5 s
Output
# Packages matching: installed
# Name                 # Installed # Synopsis
base-bigarray          base
base-num               base        Num library distributed with the OCaml compiler
base-ocamlbuild        base        OCamlbuild binary and libraries distributed with the OCaml compiler
base-threads           base
base-unix              base
camlp5                 7.10        Preprocessor-pretty-printer of OCaml
conf-findutils         1           Virtual package relying on findutils
conf-m4                1           Virtual package relying on m4
coq                    8.9.1       Formal proof management system
coq-infotheo           0.0.4       Infotheo
coq-mathcomp-algebra   1.9.0       Mathematical Components Library on Algebra
coq-mathcomp-analysis  0.2.2       An analysis library for mathematical components
coq-mathcomp-bigenough 1.0.0       A small library to do epsilon - N reasonning
coq-mathcomp-field     1.9.0       Mathematical Components Library on Fields
coq-mathcomp-fingroup  1.9.0       Mathematical Components Library on finite groups
coq-mathcomp-finmap    1.3.4       Finite sets, finite maps, finitely supported functions, orders
coq-mathcomp-solvable  1.9.0       Mathematical Components Library on finite groups (II)
coq-mathcomp-ssreflect 1.9.0       Small Scale Reflection
num                    0           The Num library for arbitrary-precision integer and rational arithmetic
ocaml                  4.02.3      The OCaml compiler (virtual package)
ocaml-base-compiler    4.02.3      Official 4.02.3 release
ocaml-config           1           OCaml Switch Configuration
ocamlfind              1.8.1       A library manager for OCaml
[NOTE] Package coq is already installed (current version is 8.9.1).
The following actions will be performed:
  - install coq-probhash 0.0.1
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/1: [coq-probhash.0.0.1: http]
[ERROR] The sources of the following couldn't be obtained, aborting:
          - coq-probhash.0.0.1:
            https://github.com/certichain/probhash/archive/0.0.1.tar.gz (Bad checksum, expected sha256=06365f9779104cc43e4f8fb069549c2eafe815512d1f49ef8fc865582510ce66)
'opam install -y -v coq-probhash.0.0.1 coq.8.9.1' failed.