Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
cubicle
Model checker for verifying properties of array-based systems
https://cubicle.lri.fr/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-06-04
sci-mathematics/cubicle: ignore TEXTRELS
d14bd55
Alfredo Tupone
committed on 2024-06-04 18:24:58 UTC
sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
Commits on 2023-03-08
sci-mathematics/cubicle: require ocamlopt
0c9116b
Maciej Barć
committed on 2023-03-08 21:38:54 UTC
sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild
sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
Commits on 2023-01-11
sci-mathematics/cubicle: install the provided manual page
98a4aac
Maciej Barć
committed on 2023-01-11 03:44:07 UTC
sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild
sci-mathematics/cubicle/cubicle-1.2.0.ebuild
Commits on 2023-01-10
sci-mathematics/cubicle: new package; add 1.2.0
30a0e97
Maciej Barć
committed on 2023-01-10 23:17:59 UTC
sci-mathematics/cubicle/Manifest
sci-mathematics/cubicle/cubicle-1.2.0.ebuild
sci-mathematics/cubicle/files/50cubicle-gentoo.el
sci-mathematics/cubicle/metadata.xml
Packages
Alfredo Tupone committed on 2024-06-04 18:24:58 UTC