Public Packages

Organization to hold public packages and their repos.

Repositories

1

Projects Packages

symfpu-cvc5 (r20230627.e6ac3af-3)

Published 2025-01-16 17:23:46 +00:00 by julian

Installation

Add server with related repository and architecture to /etc/pacman.conf:

[public.git.pollinger.dev]
SigLevel = Optional TrustAll
Server = 

Sync package with pacman:

pacman -Sy symfpu-cvc5

For more information on the Arch registry, see the documentation.

Repository Info

Repositories	extra
Architectures	x86_64

About this package

A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5

Details

Arch

2025-01-16 17:23:46 +00:00

23

GPL3

Project Site

44 KiB

Assets (1)

symfpu-cvc5-r20230627.e6ac3af-3-x86_64.pkg.tar.zst 44 KiB

Versions (1) View all

r20230627.e6ac3af-3 2025-01-16