ProofCheck / packages.txt

Commit History

Fix build: replace libdmtx0a with libdmtx0t64 in packages.txt (Debian trixie)
35d19c1

Yaz Hobooti commited on

Add proper dependencies as requested by ChatGPT
2c283e4

Yaz Hobooti commited on