January 2017 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Sun Jan 1 00:06:07 UTC 2017
Ending: Sun Jan 29 23:39:47 UTC 2017
Messages: 81

• [Pkg-ocaml-maint-commits] [frama-c] branch master updated (9840101 -> 324038d)   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 01/08: Install frama-c-config utility in frama-c-base   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 02/08: Clean up content of filtered files from debian/gbp.conf   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 03/08: Avoid double linking of LoopAnalysis.cmo   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 04/08: ocaml-findlib is not needed for frama-c-base   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 05/08: Re-enable Impact plugin by dropping --disable-impact   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 06/08: Drop configure flag --disable-security as it became useless.   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 07/08: Drop use of --enable-zarith=<path>   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 08/08: Release to unstable   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-3 created (now 77bffd6)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [otags] branch master updated (475812b -> 635f74b)   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [otags] 01/01: fix 3 lintian warnings   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] annotated tag debian/4.02.2-2 created (now 5fd98d9)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [frama-c] branch master updated (324038d -> 0de6a01)   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 01/02: Avoid using PWD in the Makefile   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 02/02: Release to unstable   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-4 created (now 16a9fe7)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [prooftree] branch master updated (db95154 -> ece0feb)   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [prooftree] 02/03: Merge tag 'upstream/0.13'   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [prooftree] 03/03: update packaging   Hendrik Tews
• [Pkg-ocaml-maint-commits] [prooftree] branch pristine-tar updated (98bf81f -> 8e178a3)   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [prooftree] 01/01: pristine-tar data for prooftree_0.13.orig.tar.gz   Hendrik Tews
• [Pkg-ocaml-maint-commits] [prooftree] branch upstream updated (2dd7896 -> e7a7642)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [prooftree] annotated tag debian/0.13-1 created (now cfb4b7d)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [prooftree] annotated tag upstream/0.13 created (now fac3cd0)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [confluence] branch master updated (dbb3edb -> ddf75ba)   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [confluence] 01/01: package removed   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hol-light] branch master updated (a5735d4 -> db54cd8)   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [hol-light] 02/03: Merge tag 'upstream/20170109'   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [hol-light] 03/03: update packaging for new upstream version   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] branch pristine-tar updated (862c915 -> c2552f0)   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [hol-light] 01/01: pristine-tar data for hol-light_20170109.orig.tar.gz   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] branch upstream updated (fc867d4 -> 991870c)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20170109-1 created (now 2017bc9)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] annotated tag upstream/20170109 created (now 3eb0ea7)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [frama-c] branch master updated (0de6a01 -> 0e5d69e)   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 01/02: Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to frama-c (Closes: #851104)   Mehdi Dogguy
  • [Pkg-ocaml-maint-commits] [frama-c] 02/02: Release to unstable   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-5 created (now f59c275)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [dose3] branch master updated (e3d3320 -> 1d32a58)   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 01/03: replace architecture triplets by tuples   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 02/03: update embedded cputable and tupletable to dpkg 1.18.15   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 03/03: add --deb-drop-b-d-arch option   Ralf Treinen
• [Pkg-ocaml-maint-commits] [dose3] annotated tag debian/5.0.1-8 created (now f22a843)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cppo] branch master updated (92dcc90 -> 6f3e817)   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [cppo] 01/05: Imported Upstream version 1.4.0   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [cppo] 02/05: Merge tag 'upstream/1.4.0'   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [cppo] 03/05: Imported Upstream version 1.4.1   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [cppo] 04/05: Merge tag 'upstream/1.4.1'   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [cppo] 05/05: update changelog and homepage   Hendrik Tews
• [Pkg-ocaml-maint-commits] [cppo] branch pristine-tar updated (1bd30d4 -> 08ae9bd)   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [cppo] 01/02: pristine-tar data for cppo_1.4.0.orig.tar.gz   Hendrik Tews
  • [Pkg-ocaml-maint-commits] [cppo] 02/02: pristine-tar data for cppo_1.4.1.orig.tar.gz   Hendrik Tews
• [Pkg-ocaml-maint-commits] [cppo] branch upstream updated (4ece36e -> 59a3d7a)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [cppo] annotated tag debian/1.4.1-1 created (now 314731f)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [cppo] annotated tag upstream/1.4.0 created (now ce4003f)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [cppo] annotated tag upstream/1.4.1 created (now 477eebc)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [dose3] branch jessie-backports/master updated (7d685e2 -> 739f00b)   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 01/03: Merge branch 'master' into jessie-backports/master   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 02/03: backport of 5.0.1-8   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 03/03: refreshed patches   Ralf Treinen
• [Pkg-ocaml-maint-commits] [dose3] branch jessie-backports/master updated (739f00b -> a815a89)   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 01/01: Drop patch ocaml-4.02.3+gcc-6.2.0   Ralf Treinen
• [Pkg-ocaml-maint-commits] [dose3] branch master updated (1d32a58 -> bb3af80)   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [dose3] 01/01: set Multi-Arch=foreign for dose-doc   Ralf Treinen
• [Pkg-ocaml-maint-commits] [advi] branch master updated (b0f3b7c -> a85ec4c)   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [advi] 01/05: standards-version 3.9.8   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [advi] 02/05: dh compat version 9   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [advi] 03/05: spelling error in d/README   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [advi] 04/05: Vcs-*: use secure URI   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [advi] 05/05: make safer mode the default   Ralf Treinen
• [Pkg-ocaml-maint-commits] [advi] annotated tag debian/1.10.2-3 created (now 6f1f2ef)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlmakefile] branch master updated (be02f22 -> 5c37f6d)   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [ocamlmakefile] 01/06: changelog entry for removal of Rémi from Uploaders   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [ocamlmakefile] 02/06: DH compat level 10   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [ocamlmakefile] 03/06: Standards-Version 3.9.8   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [ocamlmakefile] 04/06: Vcs-*: secure URI   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [ocamlmakefile] 05/06: drop replace/conflicts ocaml-tools   Ralf Treinen
  • [Pkg-ocaml-maint-commits] [ocamlmakefile] 06/06: update homepage   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlmakefile] annotated tag debian/6.37.0-3 created (now 8e44e15)   Ralf Treinen
• [Pkg-ocaml-maint-commits] New status of your USPS delivery (code: 003374688)   USPS SameDay

Last message date: Sun Jan 29 23:39:47 UTC 2017
Archived on: Mon Jan 30 05:58:46 UTC 2017

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...