Patches

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