Patches

Debian Patches

Status for why3/1.8.0-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.8.0-3 (experimental)
• 1.8.0-2 (trixie, sid)
• 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.8.0-2' on sources.debian.org
• DEP3: Patch Tagging Guidelines