{"bugs":[],"categories":[{"categoryid":395,"name":"app-editors","summary":"The app-editors category contains text editors."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"19b29baec7902fe4010f23154700e3318f6aaa83","committime":"2024-05-23T22:18:42","packageid":76384,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3c32aebedf8c9f1903afa239dccd3fa65758974a","committime":"2024-05-23T21:25:45","packageid":76384,"repoid":1,"summary":"sci-mathematics\/proverif: use edo instead of edob"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1bf74ac9cd6ba57ec66eccd1dd5ff2e8d0996444","committime":"2023-12-10T19:33:49","packageid":76384,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4be39a23beeaf0727666a2119cf04859c684ffc6","committime":"2023-12-10T19:15:47","packageid":76384,"repoid":1,"summary":"sci-mathematics\/proverif: bump to 2.05"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0e78b666b7705cfa32d5ce5d560f734014cb3cb4","committime":"2023-12-10T18:56:18","packageid":76384,"repoid":1,"summary":"sci-mathematics\/proverif: bump to 2.05"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e99d82ea2bb20f6d08f0abf3264308987d80cea8","committime":"2023-11-02T22:16:52","packageid":76384,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/916717\nSigned-off-by: Maciej Barć ","commitid":"49db8fda121c048515f6801689438f4ba94cd83f","committime":"2023-11-02T15:59:08","packageid":76384,"repoid":1,"summary":"sci-mathematics\/proverif: require ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"eae98e4f8833494da731110b8532d5065f799a33","committime":"2023-08-13T19:31:32","packageid":76384,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2fff060ebb4023f54b11fe044c1f9ea517a2ba06","committime":"2023-08-13T12:22:31","packageid":76384,"repoid":1,"summary":"sci-mathematics\/proverif: new package; add 2.04"}],"dependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[796364,805249,808656],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"emacs","packageid":45775,"summary":"GNU Emacs is an extensible, customizable text editor - and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: * Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. * Complete built-in documentation, including a tutorial for new users. * Full Unicode support for nearly all human languages and their scripts. * Highly customizable, using Emacs Lisp code or a graphical interface. * A large number of extensions that add other functionality, including a project planner, mail and news reader, debugger interface, calendar, and more. Many of these extensions are distributed with GNU Emacs; others are available separately."},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[796364,805249,808656],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"OCaml tool to find\/use non-standard packages","ebuildids":[796364,805249,808656],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288}],"depending":[],"ebuilds":[{"archs":[],"ebuildid":796364,"firstseen":"2023-08-13T20:46:13.170863","license":"GPL-2+","moddate":"2026-03-13T16:18:48","packageid":76384,"repoid":1,"slot":"0","uses":["emacs","ocamlopt"],"version":"9999"},{"archs":["~amd64","~x86"],"ebuildid":808656,"firstseen":"2023-12-10T19:35:48.403571","license":"GPL-2+","moddate":"2026-03-07T19:20:53","packageid":76384,"repoid":1,"slot":"0","uses":["emacs","ocamlopt"],"version":"2.05"},{"archs":["~amd64","~x86"],"ebuildid":805249,"firstseen":"2023-11-02T22:32:15.640149","license":"GPL-2+","moddate":"2026-03-07T19:20:53","packageid":76384,"repoid":1,"slot":"0","uses":["emacs","ocamlopt"],"version":"2.04-r1"}],"masks":[],"package":{"categoryid":317,"description":"Cryptographic protocol verifier in the formal model","firstseen":"2023-08-13T20:46:13.170863","name":"proverif","packageid":76384,"summary":"ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model). This protocol verifier is based on a representation of the protocol by Horn clauses. Its main features are: 1) It can handle many different cryptographic primitives, including shared- and public-key cryptography (encryption and signatures), hash functions, and Diffie-Hellman key agreements, specified both as rewrite rules or as equations. 2) It can handle an unbounded number of sessions of the protocol (even in parallel) and an unbounded message space. This result has been obtained thanks to some well-chosen approximations. This means that the verifier can give false attacks, but if it claims that the protocol satisfies some property, then the property is actually satisfied. The considered resolution algorithm terminates on a large class of protocols (the so-called \"tagged\" protocols). When the tool cannot prove a property, it tries to reconstruct an attack, that is, an execution trace of the protocol that falsifies the desired property."},"rdependencies":[{"block":false,"categoryid":395,"description":"The advanced, extensible, customizable, self-documenting editor","ebuildids":[796364,805249,808656],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"emacs","packageid":45775,"summary":"GNU Emacs is an extensible, customizable text editor - and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: * Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. * Complete built-in documentation, including a tutorial for new users. * Full Unicode support for nearly all human languages and their scripts. * Highly customizable, using Emacs Lisp code or a graphical interface. * A large number of extensions that add other functionality, including a project planner, mail and news reader, debugger interface, calendar, and more. Many of these extensions are distributed with GNU Emacs; others are available separately."},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[796364,796364,805249,805249,808656,808656],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590}],"repos":[{"branch":"master","lastcommit":"f87ce2b74421571078063820dc1065e7089c9fa7","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/bblanche.gitlabpages.inria.fr\/proverif\/","https:\/\/gitlab.inria.fr\/bblanche\/proverif\/"],"uses":[{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"},{"defaultflag":true,"description":"Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":true,"use":"ocamlopt"}]}