Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: symfpu-cvc5 r20230627.e6ac3af-3

Package Actions

Git Clone URL:	https://aur.archlinux.org/symfpu-cvc5.git (read-only, click to copy)
Package Base:	symfpu-cvc5
Description:	A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5
Upstream URL:	https://github.com/cvc5/symfpu
Licenses:	GPL3
Provides:	symfpu
Submitter:	Neferin
Maintainer:	Neferin
Last Packager:	Neferin
Votes:	1
Popularity:	0.000007
First Submitted:	2023-09-16 21:06 (UTC)
Last Updated:	2024-06-22 10:25 (UTC)

Dependencies (2)

bash (bash-devel-git^AUR, bash-git^AUR) (make)
git (git-git^AUR, git-gl^AUR) (make)

Required by (4)

Sources (1)

git+https://github.com/cvc5/symfpu.git#commit=e6ac3af9c2c574498ea171c957425b407625448b

Latest Comments

CyanoKobalamyne commented on 2025-09-06 00:24 (UTC)

Hi! Would you mind adding a pkg-config file? Like such:

prefix=/usr
includedir=${prefix}/include

Name: symfpu
Version: r20230627.e6ac3af-3
Description: A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5
Cflags: -I${includedir}

This would allow cvc5 and bitwuzla to discover sympfu out of the box. GUIX does something similar: https://codeberg.org/guix/guix/src/commit/1f0abd8ff511b2e22858864476d6f566809020c0/gnu/packages/maths.scm#L8482-L8490