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: | hnns |
Last Packager: | hnns |
Votes: | 2 |
Popularity: | 0.000000 |
First Submitted: | 2015-10-14 14:42 (UTC) |
Last Updated: | 2020-04-26 07:41 (UTC) |
Dependencies (4)
- mono (mono-gitAUR)
- z3-gitAUR
- mercurial (mercurial-hgAUR, mercurial-stable-hgAUR) (make)
- wget (wget-gitAUR) (make)
Latest Comments
racko commented on 2023-12-16 21:26 (UTC)
Hmm ... nuget is required but AUR (this website) does not list nuget as a dependency. The yay package manager also fails:
But nuget exists ... If I install it manually, the build fails in a different way:
aspirogrammer commented on 2016-04-29 05:43 (UTC)