opam 608 Bytes
Newer Older
Benoit Viguier's avatar
Benoit Viguier committed
1
opam-version: "2.0"
Benoit Viguier's avatar
Benoit Viguier committed
2
name: "coq-verif-tweetnacl"
Benoit Viguier's avatar
Benoit Viguier committed
3 4 5
maintainer: "benoit@cs.ru.nl"
homepage: "https://gitlab.science.ru.nl/benoit/tweetnacl/"
license: "MIT"
Benoit Viguier's avatar
Benoit Viguier committed
6
build: []
Benoit Viguier's avatar
Benoit Viguier committed
7
install: [
8
  [make "-j%{jobs}%"]
Benoit Viguier's avatar
Benoit Viguier committed
9
]
Benoit Viguier's avatar
Benoit Viguier committed
10
remove: []
Benoit Viguier's avatar
Benoit Viguier committed
11 12 13 14 15 16 17 18
depends: [
  "coq" {>= "8.7.0" & < "8.9"}
  "coq-coqprime" {= "1.0.3"}
  "coq-stdpp" {= "1.1.0"}
  "coq-ssr-elliptic-curves"
  "coq-mathcomp-multinomials"
  "coq-mathcomp-ssreflect" {= "1.7.0"}
  "coq-reciprocity"
Benoit Viguier's avatar
Benoit Viguier committed
19
  "coq-vst" {= "2.0"}
Benoit Viguier's avatar
Benoit Viguier committed
20 21 22 23 24
]
author: [
  "benoit@cs.ru.nl"
  ]
description: """
Benoit Viguier's avatar
Benoit Viguier committed
25
Verifying the TweetNaCl implementation
Benoit Viguier's avatar
Benoit Viguier committed
26 27
"""
url {
Benoit Viguier's avatar
Benoit Viguier committed
28
  src: "git+https://gitlab.science.ru.nl/benoit/tweetnacl/"
Benoit Viguier's avatar
Benoit Viguier committed
29
}