Search Criteria
Package Details: boogie-git 0.r5030.8448ac1c-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/boogie-git.git (read-only, click to copy) |
---|---|
Package Base: | boogie-git |
Description: | Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver |
Upstream URL: | http://boogie.codeplex.com |
Licenses: | custom: Ms-Pl |
Conflicts: | boogie |
Provides: | boogie |
Submitter: | fhahn |
Maintainer: | joojoo |
Last Packager: | joojoo |
Votes: | 2 |
Popularity: | 0.000000 |
First Submitted: | 2015-10-14 14:42 (UTC) |
Last Updated: | 2020-04-26 07:41 (UTC) |
Dependencies (4)
- mono (mono48, mono-beta, mono-visualstudio, mono-alt-csc, mono5, mono-nightly, mono-alpha, mono-git)
- z3-git
- mercurial (mercurial-hg, mercurial-stable-hg) (make)
- wget (wget-git, wget-xdg, wget-xdg-bin) (make)
Latest Comments
aspirogrammer commented on 2016-04-29 05:43 (UTC)