this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Add jasmin.2025.02.1

+44
+44
packages/jasmin/jasmin.2025.02.1/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "Compiler for High-Assurance and High-Speed Cryptography" 3 + description: """ 4 + Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin 5 + implementations aim at being efficient, safe, correct, and secure. 6 + """ 7 + maintainer: "Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>" 8 + author: "Jasmin authors and contributors" 9 + license: "MIT" 10 + homepage: "https://github.com/jasmin-lang/jasmin" 11 + bug-reports: "https://github.com/jasmin-lang/jasmin/issues" 12 + dev-repo: "git+https://github.com/jasmin-lang/jasmin.git" 13 + 14 + depends: [ 15 + "ocaml" {>= "4.11" & build} 16 + "batteries" {>= "3.5.0"} 17 + "menhir" {>= "20160825" & build} 18 + "menhirLib" 19 + "camlidl" 20 + "zarith" {>= "1.9.0"} 21 + "apron" {>= "v0.9.12"} 22 + "conf-ppl" 23 + "yojson" {>= "1.6.0"} 24 + "dune" {>= "3.2"} 25 + "cmdliner" {>= "1.1" & build } 26 + "angstrom" {>= "0.14.0"} 27 + "ocamlfind" { build } 28 + ] 29 + build: [ 30 + [make "-C" "compiler" "build"] 31 + ] 32 + install: [ 33 + ["mkdir" "-p" "%{prefix}%/bin"] 34 + ["cp" "-L" "compiler/_build/install/default/bin/jasminc" "%{prefix}%/bin/jasminc"] 35 + ["cp" "-L" "compiler/_build/install/default/bin/jasmin2tex" "%{prefix}%/bin/jasmin2tex"] 36 + ["cp" "-L" "compiler/_build/install/default/bin/jasmin-ct" "%{prefix}%/bin/jasmin-ct"] 37 + ["cp" "-L" "compiler/_build/install/default/bin/jasmin2ec" "%{prefix}%/bin/jasmin2ec"] 38 + ["mkdir" "-p" "%{prefix}%/lib/jasmin/easycrypt"] 39 + ["sh" "-c" "cp eclib/*.ec \"%{prefix}%/lib/jasmin/easycrypt/\""] 40 + ] 41 + url { 42 + src: "https://github.com/jasmin-lang/jasmin/releases/download/v2025.02.1/jasmin-compiler-v2025.02.1.tar.bz2" 43 + checksum: "sha256=ed6184b6c4c9e3f47edf48331656290af66b672ce267a80309e9961055fee619" 44 + }