Debian Patches
Status for why3/1.7.2-2
Patch
Description
Author
Forwarded
Bugs
Origin
Last update
hardening-flags
hardening-flags
===================================================================
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
no
2020-02-10
All known versions for source package 'why3'
1.7.2-2
(sid, trixie)
1.5.1-1
(bookworm)
1.3.3-1
(bullseye)
Links
Package Tracker for 'why3'
Debian Maintainer Dashboard for 'why3'
Browse sources for 'why3/1.7.2-2' on sources.debian.org
DEP3: Patch Tagging Guidelines