Debian Patches
Status for ocplib-simplex/0.5.1-4
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
0001-Fix-tests-with-dune-3.17.0.patch
Fix tests with dune 3.17.0
Stephane Glondu <steph@glondu.net>
no
2025-01-01
All known versions for source package 'ocplib-simplex'
0.5.1-4
(sid, trixie)
0.4-2
(bullseye, bookworm)
Links
Package Tracker for 'ocplib-simplex'
Debian Maintainer Dashboard for 'ocplib-simplex'
Browse sources for 'ocplib-simplex/0.5.1-4' on sources.debian.org
DEP3: Patch Tagging Guidelines