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: ben

ben (0.7.4ubuntu1) artful; urgency=low * Merge from Debian unstable. Remaining changes: - Show Ubuntu logo. - Allow configs to request the Packages/Sources files are not redownloaded (so that we can download once and for all at the start). - Add an Ubuntu template. - Tolerate templates with buildds or critical_bugs entries that return None. -- Gianfranco Costamagna <locutusofborg@debian.org> Fri, 28 Apr 2017 22:53:56 +0200

Modifications :
  1. Download patch media/revamp.css

    --- 0.7.4/media/revamp.css 2015-07-17 07:48:50.000000000 +0000 +++ 0.7.4ubuntu1/media/revamp.css 2016-09-03 16:11:30.000000000 +0000 @@ -16,7 +16,7 @@ body { } body.debian { - background: #fff url('debian.png') no-repeat 10px 7px; + background: #fff url('ubuntu.png') no-repeat 10px 7px; } a:link { color: #0755d7; text-decoration: underline; } Binary files 0.7.4/media/ubuntu.png and 0.7.4ubuntu1/media/ubuntu.png differ
  2. Download patch debian/control

    --- 0.7.4/debian/control 2016-01-07 21:46:15.000000000 +0000 +++ 0.7.4ubuntu1/debian/control 2017-04-28 20:54:54.000000000 +0000 @@ -1,6 +1,7 @@ Source: ben Priority: optional -Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> +Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> +XSBC-Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Stéphane Glondu <glondu@debian.org>, Mehdi Dogguy <mehdi@debian.org> @@ -29,8 +30,10 @@ Build-Depends: Standards-Version: 3.9.5 Section: devel Homepage: https://ben.debian.net -Vcs-Browser: https://anonscm.debian.org/gitweb/?p=collab-maint/ben.git -Vcs-Git: git://anonscm.debian.org/collab-maint/ben.git +XS-Debian-Vcs-Browser: https://anonscm.debian.org/gitweb/?p=collab-maint/ben.git +XS-Debian-Vcs-Git: git://anonscm.debian.org/collab-maint/ben.git +Vcs-Browser: https://code.launchpad.net/~ubuntu-transition-trackers/ubuntu-transition-tracker/ben +Vcs-Bzr: http://bazaar.launchpad.net/~ubuntu-transition-trackers/ubuntu-transition-tracker/ben Package: libben-ocaml-dev Section: ocaml
  3. Download patch frontends/ben_monitor.ml

    --- 0.7.4/frontends/ben_monitor.ml 2016-01-31 15:22:22.000000000 +0000 +++ 0.7.4ubuntu1/frontends/ben_monitor.ml 2016-09-03 16:11:29.000000000 +0000 @@ -302,7 +302,9 @@ let changelog t ver dir src = let generated_on_text () = [ pcdata "Page generated by "; a_link ben_webpage "Ben"; - pcdata (Printf.sprintf " on %s" (Benl_core.get_rfc2822_date ())) + pcdata (Printf.sprintf " on %s" (Benl_core.get_rfc2822_date ())); + pcdata "; bzr branch "; + a_link "https://code.launchpad.net/+branch/ubuntu-transition-tracker" "lp:ubuntu-transition-tracker" ] module SS = Set.Make(String)
  4. Download patch lib/query.ml

    --- 0.7.4/lib/query.ml 2016-03-19 07:13:09.000000000 +0000 +++ 0.7.4ubuntu1/lib/query.ml 2016-09-03 16:11:30.000000000 +0000 @@ -73,7 +73,7 @@ let rec to_string_b ?(escape = true) las | EMatch (f, ERegexp r) -> sprintf ".%s ~ %s" f (string_of_regexp r) | ENot e -> - sprintf "!%s" (to_string_b "!" e) + sprintf "!%s" (to_string_b last_op e) | Etrue -> sprintf "true" | Efalse -> sprintf "false" | EAnd (e1, e2) ->
  5. Download patch frontends/ben_tracker.ml

    --- 0.7.4/frontends/ben_tracker.ml 2016-03-02 20:14:22.000000000 +0000 +++ 0.7.4ubuntu1/frontends/ben_tracker.ml 2016-09-03 16:11:29.000000000 +0000 @@ -32,6 +32,7 @@ let global_config = ref (FilePath.concat let lock = ref "ben.lock" let clean = ref true let tconfig = ref None +let redownload = ref true open Benl_types open Benl_frontend @@ -78,6 +79,8 @@ let read_global_config () = Ben_monitor.baseurl := url | "template", (EString template) -> Benl_templates.load_template template; + | "redownload", Efalse -> + redownload := false | item, _ -> warn (Unknown_configuration_item item) ) @@ -145,7 +148,7 @@ let is_packages_file name = let clear_cache () = let cached = !cache_dir in let cachef = !cache_file in - let test_cond = Or (Basename_is cachef, Custom is_packages_file) in + let test_cond = Basename_is cachef in let pkgs = find test_cond cached (fun x y -> y ::x) [] in rm ~force:Force pkgs @@ -156,7 +159,7 @@ let update_test () = let read_cache architectures = if update_test () then begin - if not !Benl_data.use_projectb then begin + if !redownload && not !Benl_data.use_projectb then begin clear_cache (); Ben_download.download_all architectures; end;
  6. Download patch templates/ubuntu.ml

    --- 0.7.4/templates/ubuntu.ml 1970-01-01 00:00:00.000000000 +0000 +++ 0.7.4ubuntu1/templates/ubuntu.ml 2015-11-11 17:57:21.000000000 +0000 @@ -0,0 +1,47 @@ +open Printf +open Html5.M + +let href uri = + a_href (uri_of_string uri) + +let a_link url text = + a ~a:[a_href (uri_of_string url)] [pcdata text] + +let page ~title ~subtitle ~headers ~body ~footer = + let headers = + (meta + ~a:[a_charset "utf-8"] + ()) + :: + (link ~rel:[`Stylesheet] ~href:"media/revamp.css" ()) + :: + (link ~rel:[`Stylesheet] ~href:"media/styles.css" ()) + :: + headers in + html ~a:[a_xmlns `W3_org_1999_xhtml] + (head + (Html5.M.title (pcdata title)) + headers + ) + (Html5.M.body ~a:[a_class ["debian"]] [ + h1 ~a:[a_id "title"] [pcdata "Ubuntu Release Management"]; + h2 ~a:[a_id "subtitle"] subtitle; + div ~a:[a_id "body"] body; + div ~a:[a_id "footer"] footer + ]) + +open Template + +let () = + Benl_templates.register_template { + name = "Ubuntu"; + page; + intro = []; + pts = (fun ~src -> sprintf "https://launchpad.net/ubuntu/+source/%s" src); + changelog = (fun ~letter ~src ~ver -> sprintf "http://changelogs.ubuntu.com/changelogs/%s/%s_%s/changelog" letter src ver); + buildd = (fun ~src ~ver -> sprintf "https://launchpad.net/ubuntu/+source/%s/%s" src ver); + buildds = (fun ~srcs -> None); + bugs = (fun ~src -> sprintf "https://bugs.launchpad.net/ubuntu/+source/%s" src); + critical_bugs = (fun ~srcs -> None); + msg_id = (fun ~mid -> sprintf "http://mid.gmane.org/%s" mid); + }

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

Source: ocaml

ocaml (4.02.3-9ubuntu2) artful; urgency=medium * Re-enable pic patch. -- Gianfranco Costamagna <locutusofborg@debian.org> Sun, 30 Apr 2017 00:22:58 +0200 ocaml (4.02.3-9ubuntu1) artful; urgency=low * Merge from Debian unstable. Remaining changes: - Pass --hash-style=both --as-needed --build-id to the linker. - drop pic patch, enabled by default now -- Gianfranco Costamagna <locutusofborg@debian.org> Fri, 28 Apr 2017 23:01:50 +0200

Modifications :
  1. Download patch .pc/pie-on-amd64.diff/configure
  2. Download patch .pc/linker-flags.patch/configure
  3. Download patch debian/patches/linker-flags.patch

    --- 4.02.3-9/debian/patches/linker-flags.patch 1970-01-01 00:00:00.000000000 +0000 +++ 4.02.3-9ubuntu2/debian/patches/linker-flags.patch 2017-04-28 21:01:17.000000000 +0000 @@ -0,0 +1,25 @@ +Index: ocaml-4.02.3/configure +=================================================================== +--- ocaml-4.02.3.orig/configure ++++ ocaml-4.02.3/configure +@@ -366,7 +366,9 @@ + if cc="$bytecc" sh ./hasgot -mieee; then + bytecccompopts="-mieee $bytecccompopts"; + fi +- bytecclinkopts="-Wl,--no-relax";; ++ bytecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id -Wl,--no-relax";; ++ gcc,*-*-linux*) ++ bytecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id";; + cc,mips-*-irix6*) + # Add -n32 flag to ensure compatibility with native-code compiler + bytecccompopts="-n32" +@@ -903,7 +905,8 @@ + nativecccompopts="$gcc_warnings -DSHRINKED_GNUC";; + *,*,rhapsody,*) nativecccompopts="$gcc_warnings -DDARWIN_VERSION_6 $dl_defs" + if $arch64; then partialld="ld -r -arch ppc64"; fi;; +- alpha,gcc*,linux*,*) nativecclinkopts="-Wl,--no-relax";; ++ alpha,gcc*,linux*,*) nativecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id -Wl,--no-relax";; ++ *,gcc*,linux*,*) nativecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id";; + *,gcc*,cygwin,*) nativecccompopts="$gcc_warnings -U_WIN32";; + amd64,gcc*,macosx,*) partialld="ld -r -arch x86_64";; + amd64,gcc*,solaris,*) partialld="ld -r -m elf_x86_64";;
  4. Download patch debian/control

    --- 4.02.3-9/debian/control 2016-12-21 22:49:40.000000000 +0000 +++ 4.02.3-9ubuntu2/debian/control 2016-12-22 03:48:14.000000000 +0000 @@ -1,7 +1,8 @@ Source: ocaml Section: ocaml Priority: optional -Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> +Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> +XSBC-Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org>,
  5. Download patch debian/control.in

    --- 4.02.3-9/debian/control.in 2016-12-21 22:49:40.000000000 +0000 +++ 4.02.3-9ubuntu2/debian/control.in 2016-12-22 03:48:14.000000000 +0000 @@ -1,7 +1,8 @@ Source: ocaml Section: ocaml Priority: optional -Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> +Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> +XSBC-Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org>,
  6. Download patch .pc/applied-patches

    --- 4.02.3-9/.pc/applied-patches 2017-04-30 14:12:13.158479599 +0000 +++ 4.02.3-9ubuntu2/.pc/applied-patches 2017-04-30 14:12:13.714494797 +0000 @@ -13,3 +13,5 @@ 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch 0014-Compute-a-stable-name-for-preprocessed-files.patch 0015-CVE-2015-8869.patch +linker-flags.patch +pie-on-amd64.diff
  7. Download patch configure

    --- 4.02.3-9/configure 2017-04-30 14:12:13.000000000 +0000 +++ 4.02.3-9ubuntu2/configure 2017-04-30 14:12:13.000000000 +0000 @@ -366,7 +366,9 @@ case "$bytecc,$target" in if cc="$bytecc" sh ./hasgot -mieee; then bytecccompopts="-mieee $bytecccompopts"; fi - bytecclinkopts="-Wl,--no-relax";; + bytecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id -Wl,--no-relax";; + gcc,*-*-linux*) + bytecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id";; cc,mips-*-irix6*) # Add -n32 flag to ensure compatibility with native-code compiler bytecccompopts="-n32" @@ -903,7 +905,8 @@ case "$arch,$nativecc,$system,$target" i nativecccompopts="$gcc_warnings -DSHRINKED_GNUC";; *,*,rhapsody,*) nativecccompopts="$gcc_warnings -DDARWIN_VERSION_6 $dl_defs" if $arch64; then partialld="ld -r -arch ppc64"; fi;; - alpha,gcc*,linux*,*) nativecclinkopts="-Wl,--no-relax";; + alpha,gcc*,linux*,*) nativecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id -Wl,--no-relax";; + *,gcc*,linux*,*) nativecclinkopts="-Wl,--hash-style=both -Wl,--as-needed -Wl,--build-id";; *,gcc*,cygwin,*) nativecccompopts="$gcc_warnings -U_WIN32";; amd64,gcc*,macosx,*) partialld="ld -r -arch x86_64";; amd64,gcc*,solaris,*) partialld="ld -r -m elf_x86_64";; @@ -1012,6 +1015,10 @@ else echo "SHARPBANGSCRIPTS=false" >> Makefile fi +case "$arch,$system" in + amd64,linux) nativecccompopts="$nativecccompopts -fPIC";; +esac + # Use 64-bit file offset if possible bytecccompopts="$bytecccompopts -D_FILE_OFFSET_BITS=64"
  8. Download patch debian/patches/pie-on-amd64.diff

    --- 4.02.3-9/debian/patches/pie-on-amd64.diff 1970-01-01 00:00:00.000000000 +0000 +++ 4.02.3-9ubuntu2/debian/patches/pie-on-amd64.diff 2016-04-25 14:30:01.000000000 +0000 @@ -0,0 +1,15 @@ +Index: b/configure +=================================================================== +--- a/configure ++++ b/configure +@@ -1013,6 +1013,10 @@ else + echo "SHARPBANGSCRIPTS=false" >> Makefile + fi + ++case "$arch,$system" in ++ amd64,linux) nativecccompopts="$nativecccompopts -fPIC";; ++esac ++ + # Use 64-bit file offset if possible + + bytecccompopts="$bytecccompopts -D_FILE_OFFSET_BITS=64"
  9. Download patch debian/patches/series

    --- 4.02.3-9/debian/patches/series 2016-12-21 23:47:05.000000000 +0000 +++ 4.02.3-9ubuntu2/debian/patches/series 2017-04-29 22:23:16.000000000 +0000 @@ -13,3 +13,5 @@ 0013-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch 0014-Compute-a-stable-name-for-preprocessed-files.patch 0015-CVE-2015-8869.patch +linker-flags.patch +pie-on-amd64.diff

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

Source: slurm-llnl

slurm-llnl (16.05.9-1ubuntu1) zesty; urgency=medium * Merge from Debian unstable. Remaining changes: - Don't manually modify the -dbgsym package -- Bhavani Shankar <bhavi@ubuntu.com> Wed, 15 Feb 2017 09:10:52 +0530

Modifications :
  1. Download patch debian/rules

    --- 16.05.9-1/debian/rules 2017-01-07 11:17:20.000000000 +0000 +++ 16.05.9-1ubuntu1/debian/rules 2017-02-06 22:16:16.000000000 +0000 @@ -117,7 +117,8 @@ override_dh_strip: dh_strip -plibslurmdb-dev dh_strip -plibslurm-dev dh_strip -pslurm-wlm-basic-plugins-dev - strip --strip-debug --remove-section=.comment \ + : # doesn't work on Launchpad + : strip --strip-debug --remove-section=.comment \ --remove-section=.note debian/slurm-wlm-basic-plugins-dev/usr/lib/*/slurm/*.a override_dh_auto_test:
  2. Download patch debian/control

    --- 16.05.9-1/debian/control 2017-01-07 11:17:20.000000000 +0000 +++ 16.05.9-1ubuntu1/debian/control 2017-02-06 22:16:16.000000000 +0000 @@ -1,7 +1,8 @@ Source: slurm-llnl Section: admin Priority: extra -Maintainer: Gennaro Oliva <oliva.g@na.icar.cnr.it> +Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> +XSBC-Original-Maintainer: Gennaro Oliva <oliva.g@na.icar.cnr.it> Uploaders: Rémi Palancher <remi@rezib.org>, Mehdi Dogguy <mehdi@debian.org> Build-Depends: debhelper (>= 9.20130504),

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

Source: why

why (2.34-4ubuntu5) yakkety; urgency=medium * No-change rebuild against frama-c 20151002+magnesium+dfsg-1build2 -- Steve Langasek <steve.langasek@ubuntu.com> Sun, 10 Jul 2016 13:41:00 -0700 why (2.34-4ubuntu4) xenial; urgency=medium * Disable the why+coq autopkg test. -- Matthias Klose <doko@ubuntu.com> Tue, 23 Feb 2016 16:34:34 +0100 why (2.34-4ubuntu3) xenial; urgency=medium * Drop build dependency on libfloat-coq, not buildable with the the current coq. * why still fails to build, so drop the the libwhy-coq binary and coq build dependency. -- Matthias Klose <doko@ubuntu.com> Tue, 23 Feb 2016 15:36:48 +0100 why (2.34-4ubuntu2) xenial; urgency=medium * Rebuild for new OCaml ABIs. -- Matthias Klose <doko@ubuntu.com> Fri, 12 Feb 2016 12:07:26 +0000 why (2.34-4ubuntu1) xenial; urgency=medium * Rebase on Debian, remaining change: + debian/tests/control: Disable frama-c+jessie+alt-ergo test, since we don't have a jessie plugin currently (until we get 'why3') -- Iain Lane <iain@orangesquash.org.uk> Wed, 04 Nov 2015 12:12:10 +0000

Modifications :
  1. Download patch debian/tests/control

    --- 2.34-4/debian/tests/control 2015-10-16 22:19:11.000000000 +0000 +++ 2.34-4ubuntu5/debian/tests/control 2016-02-23 15:34:32.000000000 +0000 @@ -4,8 +4,8 @@ Depends: why, alt-ergo Tests: why+cvc3 Depends: why, cvc3 -Tests: why+coq -Depends: why, libwhy-coq, coq +#Tests: why+coq +#Depends: why, libwhy-coq, coq -Tests: frama-c+jessie+alt-ergo -Depends: why, frama-c-base, alt-ergo +#Tests: frama-c+jessie+alt-ergo +#Depends: why, frama-c-base, alt-ergo
  2. Download patch debian/rules

    --- 2.34-4/debian/rules 2015-10-16 22:19:11.000000000 +0000 +++ 2.34-4ubuntu5/debian/rules 2016-02-23 15:10:37.000000000 +0000 @@ -4,7 +4,6 @@ export DH_VERBOSE=1 include /usr/share/ocaml/ocamlvars.mk -include /usr/share/coq/coqvars.mk WHYDIR = $(CURDIR)/debian/why FRAMADIR = $(WHYDIR)/$(shell frama-c -print-plugin-path) @@ -12,6 +11,10 @@ FRAMAVER = $(shell dpkg-query -W -f='$$ VERSION = $(shell cat Version | grep ^VERSION | cut -d= -f 2) export OCAMLINIT_SED += -e 's/@VERSION@/$(VERSION)/g' +override_dh_auto_test: + : # requires coq + true + override_dh_auto_configure: autoconf ./configure \ @@ -41,7 +44,6 @@ override_dh_auto_install: -$(RM) -rf $(WHYDIR)/usr/share/jessie/ #Jessie.cma is installed, no need for this extra file -$(RM) -f $(FRAMADIR)/Jessie.cmo - echo 'F:CoqABI=$(COQ_ABI)' >> debian/libwhy-coq.substvars echo 'F:FramaCVersion=$(FRAMAVER)' >> debian/why.substvars override_dh_compress:
  3. Download patch debian/control

    --- 2.34-4/debian/control 2015-10-16 22:19:11.000000000 +0000 +++ 2.34-4ubuntu5/debian/control 2016-07-10 20:41:21.000000000 +0000 @@ -1,7 +1,8 @@ Source: why Section: math Priority: optional -Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> +Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> +XSBC-Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org> @@ -14,8 +15,6 @@ Build-Depends: ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), - coq (>= 8.3~), - libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20140301+neon+dfsg), libapron-ocaml-dev (>= 0.9.10-4~), @@ -48,7 +47,6 @@ Package: why-examples Architecture: all Depends: ${misc:Depends}, - libwhy-coq, why Section: doc Description: Examples of programs certified with Why @@ -60,16 +58,3 @@ Description: Examples of programs certif decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. . This package contains examples of programs verified using Why. - -Package: libwhy-coq -Architecture: all -Depends: - ${misc:Depends}, - coq-${F:CoqABI} -Replaces: - why (<< 2.18.dfsg-1) -Section: libdevel -Description: Why library for Coq - This package contains all useful logical definitions, lemmas with their - proofs and axioms used by Why. Users may need this package when proving - some proof obligations in Coq.
  1. ben
  2. ocaml
  3. slurm-llnl
  4. why