opam 617 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"
3 4 5 6
maintainer: "anonym"
homepage: "https://github.com/"
bug-reports: "https://github.com/"
dev-repo: "git+https://github.com/"
Benoit Viguier's avatar
Benoit Viguier committed
7
license: "MIT"
Benoit Viguier's avatar
Benoit Viguier committed
8
build: []
Benoit Viguier's avatar
Benoit Viguier committed
9
install: [
10
  [make "-j%{jobs}%"]
Benoit Viguier's avatar
Benoit Viguier committed
11
]
Benoit Viguier's avatar
Benoit Viguier committed
12
remove: []
Benoit Viguier's avatar
Benoit Viguier committed
13 14 15 16 17 18 19 20
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
21
  "coq-vst" {= "2.0"}
Benoit Viguier's avatar
Benoit Viguier committed
22
]
23 24 25 26
authors: [
  "anonym"
]
synopsis: "Verifying the TweetNaCl implementation"
Benoit Viguier's avatar
Benoit Viguier committed
27
description: """
28
Verifying the TweetNaCl implementation.
Benoit Viguier's avatar
Benoit Viguier committed
29
"""