To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Heritage persistent IDentifiers (SWHIDs) must be used instead of copying and pasting the url from the address bar of the browser (as there is no guarantee the current URI scheme will remain the same over time).
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
opam-version: "2.0" homepage: "https://www.easycrypt.info/" bug-reports: "https://www.easycrypt.info/trac/newticket" dev-repo: "git+https://github.com/EasyCrypt/easycrypt.git" authors: "EasyCrypt Development Team <email@example.com>" maintainer: "firstname.lastname@example.org" license: "CeCILL-C" synopsis: "EasyCrypt: Computer-Aided Cryptographic Proofs" description: """ EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs.""" post-messages: """ EasyCrypt needs external provers to be installed. From opam, you can install AltErgo (package: alt-ergo). The required steps for configuring the provers are listed on: https://github.com/EasyCrypt/easycrypt#configuring-why3""" build: [ ["dune" "build" "-p" name "-j" jobs "@install"] ]
Computing file changes ...