Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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)

Required by (0)

Sources (3)

Latest Comments

aspirogrammer commented on 2016-04-29 05:43 (UTC)

I am getting this error: ==> Building and installing package ==> ERROR: url should not be an array ==> ERROR: Makepkg was unable to build boogie-git. (Removing parentheses helps.)