Debian

Available patches from Ubuntu

To see Ubuntu differences wrt. to Debian, write down a grep-dctrl query identifying the packages you're interested in:
grep-dctrl -n -sPackage Sources.Debian
(e.g. -FPackage linux-ntfs or linux-ntfs)

Modified packages are listed below:

Debian ( Changelog | PTS | Bugs ) Ubuntu ( Changelog | txt | LP | Bugs ) | Diff from Ubuntu

Source: menhir

menhir (20190626-6ubuntu1) eoan; urgency=medium * Merge from Debian unstable. Remaining changes: - Fix build error due to exported V=1 function in launchpad buildd configuration (patch accepted upstream) -- Gianfranco Costamagna <locutusofborg@debian.org> Tue, 27 Aug 2019 18:39:51 +0200

Modifications :
  1. Download patch debian/patches/fixup-failure.patch

    --- 20190626-6/debian/patches/fixup-failure.patch 1970-01-01 00:00:00.000000000 +0000 +++ 20190626-6ubuntu1/debian/patches/fixup-failure.patch 2019-07-26 21:13:32.000000000 +0000 @@ -0,0 +1,59 @@ +Description: builders defines V=1 to enable verbosity, makefile uses it to list .V files. + Rename the function +Author: Gianfranco Costamagna <locutusofborg@debian.org> +Last-Update: 2019-07-26 + +Index: menhir-20190626/coq-menhirlib/src/Makefile.coq +=================================================================== +--- menhir-20190626.orig/coq-menhirlib/src/Makefile.coq ++++ menhir-20190626/coq-menhirlib/src/Makefile.coq +@@ -14,7 +14,7 @@ + # ROOTDIR (default: `pwd`) + # COQBIN (default: empty) + # COQINCLUDE (default: empty) +-# V (default: *.v) ++# VV (default: *.v) + # V_AUX (default: undefined/empty) + # SERIOUS (default: 1) + # (if 0, we produce .vio files) +@@ -35,23 +35,23 @@ + ROOTDIR := $(shell pwd) + endif + +-ifndef V +- V := $(wildcard $(ROOTDIR)/*.v) ++ifndef VV ++ VV := $(wildcard $(ROOTDIR)/*.v) + endif + +-# Typically, $(V) should list only the .v files that we are ultimately ++# Typically, $(VV) should list only the .v files that we are ultimately + # interested in checking. $(V_AUX) should list every other .v file in the +-# project. $(VD) is obtained from $(V) and $(V_AUX), so [make] sees all ++# project. $(VD) is obtained from $(VV) and $(V_AUX), so [make] sees all + # dependencies and can rebuild files anywhere in the project, if needed, and + # only if needed. + + ifndef VD +- VD := $(patsubst %.v,%.v.d,$(V) $(V_AUX)) ++ VD := $(patsubst %.v,%.v.d,$(VV) $(V_AUX)) + endif + +-VIO := $(patsubst %.v,%.vio,$(V)) +-VQ := $(patsubst %.v,%.vq,$(V)) +-VO := $(patsubst %.v,%.vo,$(V)) ++VIO := $(patsubst %.v,%.vio,$(VV)) ++VQ := $(patsubst %.v,%.vq,$(VV)) ++VO := $(patsubst %.v,%.vo,$(VV)) + + SERIOUS := 1 + +@@ -188,7 +188,7 @@ + # In a multi-directory setting, it is not entirely clear how to find the + # files that we wish to remove. + +-# One approach would be to view $(V) as the authoritative list of source files ++# One approach would be to view $(VV) as the authoritative list of source files + # and remove just the derived files $(VO), etc. + + # Another approach is to scan all subdirectories of $(ROOTDIR) and remove all
  2. Download patch debian/patches/series

    --- 20190626-6/debian/patches/series 2019-08-27 13:43:33.000000000 +0000 +++ 20190626-6ubuntu1/debian/patches/series 2019-08-22 10:01:26.000000000 +0000 @@ -1 +1,2 @@ demos-enable-bytecode +fixup-failure.patch
  1. menhir