Public Packages

Organization to hold public packages and their repos.

Repositories

1

Projects Packages

cadical-debug (3.0.0-1)

Published 2026-04-15 13:53:34 +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 cadical-debug

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

Repository Info

Repositories	extra
Architectures	x86_64

About this package

Detached debugging symbols for cadical

Details

Arch

2026-04-15 13:53:34 +00:00

0

MIT

Project Site

30 MiB

Assets (1)

cadical-debug-3.0.0-1-x86_64.pkg.tar.zst 30 MiB

Versions (1) View all

3.0.0-1 2026-04-15