« Up

algorand 1.3 Error with dependencies 🚒

Context

# opam file:
opam-version: "2.0"
maintainer: "palmskog@gmail.com"
homepage: "https://github.com/runtimeverification/algorand-verification"
dev-repo: "git+https://github.com/runtimeverification/algorand-verification.git"
bug-reports: "https://github.com/runtimeverification/algorand-verification/issues"
license: "NCSA"
synopsis: "A verified model of the Algorand consensus protocol in Coq"
description: """
The Algorand consensus protocol provides the foundation for a
decentralized digital currency and transactions platform. This project
provides a model of the protocol in Coq, expressed as a transition
system over global states in a message-passing distributed system.
Included is a formal proof of safety for the transition system."""
build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
  "coq" {>= "8.12" & < "8.13~"}
  "coq-mathcomp-ssreflect" {>= "1.11" & < "1.12~"}
  "coq-mathcomp-algebra"
  "coq-mathcomp-finmap" {>= "1.5"}
  "coq-mathcomp-analysis" {= "0.3.2"}
  "coq-record-update"
]
tags: [
  "category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems"
  "keyword:distributed algorithms"
  "keyword:blockchain"
  "keyword:consensus"
  "keyword:algorand"
  "logpath:Algorand"
  "date:2020-08-25"
]
authors: [
  "Musab A. Alturki"
  "Jing Chen"
  "Victor Luchangco"
  "Brandon Moore"
  "Karl Palmskog"
  "Lucas Peña"
  "Grigore Roșu"
]
url {
  src: "https://github.com/runtimeverification/algorand-verification/archive/release-1.3.tar.gz"
  checksum: "sha512=00b6134cab0b37aa04a397685f8b4b4118d4816cd33cacd9d2ddf03f649b7074cdfecb87bbfded8069a801a2972b35afe712d0a50975f3fd978c1461ddff0d5b"
}

Lint

Command

true

Return code

0

Dry install 🏜️

Dry install with the current Coq version:

Command

opam install -y --show-action coq-algorand.1.3 coq.

Return code

512

Output

opam: PACKAGES... arguments: Invalid character in package name "coq."
Usage: opam install [OPTION]... [PACKAGES]...
Try `opam install --help' or `opam --help' for more information.

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command

opam remove -y coq; opam install -y --show-action --unlock-base coq-algorand.1.3

Return code

25344

Output

Fatal error:
Out of memory
Fatal error:
Out of memory

Install dependencies

Command

true

Return code

0

Duration

0 s

Install 🚀

Command

true

Return code

0

Duration

0 s

Installation size

No files were installed.

Uninstall 🧹

Command

true

Return code

0

Missing removes

none

Wrong removes

none