{"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":"94be2f224ee98403542c92c559acc2a54bfbdfa0","committime":"2024-06-04T18:33:51","packageid":75748,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/928102\nSigned-off-by: Alfredo Tupone ","commitid":"d14bd55fc6241d005ce0baa4c6c3ad1f1eaeace4","committime":"2024-06-04T18:05:47","packageid":75748,"repoid":1,"summary":"sci-mathematics\/cubicle: ignore TEXTRELS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d038fe125ad15cdd2bab9d189552563f3899b159","committime":"2023-03-08T21:46:54","packageid":75748,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/895214\nSigned-off-by: Maciej Barć ","commitid":"0c9116b3aef8f3e47e801bc1c8afce931f9b790b","committime":"2023-03-08T21:38:20","packageid":75748,"repoid":1,"summary":"sci-mathematics\/cubicle: require ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93b697a324e9c42fc2e49039d83308044365d974","committime":"2023-01-11T04:02:12","packageid":75748,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"98a4aacaf16469aaa131402e27778771522e6bd7","committime":"2023-01-11T03:41:42","packageid":75748,"repoid":1,"summary":"sci-mathematics\/cubicle: install the provided manual page"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"455a848a507230973213398bb741a56a9c3a7d37","committime":"2023-01-10T23:32:04","packageid":75748,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"30a0e97a15345909414364403a7af8654b9e72cd","committime":"2023-01-10T21:30:03","packageid":75748,"repoid":1,"summary":"sci-mathematics\/cubicle: new package; add 1.2.0"}],"dependencies":[{"block":false,"categoryid":395,"description":"The extensible, customizable, self-documenting real-time display editor","ebuildids":[780327],"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":[780327],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[780327],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":780327,"firstseen":"2023-03-08T21:49:34.978561","license":"Apache-2.0","moddate":"2025-04-23T15:45:16","packageid":75748,"repoid":1,"slot":"0\/1.2.0","uses":["emacs","examples"],"version":"1.2.0-r2"}],"masks":[],"package":{"categoryid":317,"description":"Model checker for verifying properties of array-based systems","firstseen":"2023-01-10T23:47:47.966911","name":"cubicle","packageid":75748,"summary":"Cubicle is an open source model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems. Cubicle model-checks by a symbolic backward reachability analysis on infinite sets of states represented by specific simple formulas, called cubes. Cubicle is based on ideas introduced by MCMT from which, in addition to revealing the implementation details, it differs in a more friendly input language and a concurrent architecture. Cubicle is written in OCaml. Its SMT solver is a tightly integrated, lightweight and enhanced version of Alt-Ergo; and its parallel implementation relies on the Functory library."},"rdependencies":[{"block":false,"categoryid":395,"description":"The extensible, customizable, self-documenting real-time display editor","ebuildids":[780327],"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":[780327],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[780327],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574}],"repos":[{"branch":"master","lastcommit":"83b1268c5aac6ae9b0760d1fb99a3cf736f62f25","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/cubicle.lri.fr\/","https:\/\/github.com\/cubicle-model-checker\/cubicle\/"],"uses":[{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"},{"description":"Install examples, usually source code","isdefault":false,"use":"examples"}]}