December 2016 Archives by subject

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

Starting: Sun Dec 4 18:37:28 UTC 2016
Ending: Sat Dec 31 23:49:24 UTC 2016
Messages: 183

• [Pkg-ocaml-maint-commits] [aac-tactics] 01/02: pristine-tar data for aac-tactics_8.6.orig.tar.gz   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] 01/06: Merge tag 'upstream/8.6'   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] 02/02: pristine-tar data for aac-tactics_8.6.1.orig.tar.gz   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] 02/06: New upstream version 8.6   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] 03/06: aac for Coq 8.6   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] 04/06: New upstream version 8.6.1   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] 05/06: Merge tag 'upstream/8.6.1'   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] 06/06: 8.6.1   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] branch master updated (017a43a -> 15d7275)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] branch pristine-tar updated (b04b84c -> 2062a6b)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [aac-tactics] branch upstream updated (17564e4 -> 76f9b4c)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [alt-ergo] 01/01: pristine-tar data for alt-ergo_1.30.orig.tar.gz   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 01/09: dh compat level 10   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 02/09: bumped standards-version   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 03/09: dropped redundant Testsuite   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 04/09: updated Vcs-{Git, Browser}   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 06/09: Merge tag 'upstream/1.30'   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 07/09: new upstream version   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 08/09: fix spelling   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 09/09: + build-dependency on ocaml-findlib   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] annotated tag debian/1.30-1 created (now 31b5751)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] annotated tag upstream/1.30 created (now 7dc75aa)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] branch master updated (db669a5 -> 925ad0e)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] branch pristine-tar updated (c892cf0 -> 314d779)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] branch upstream updated (f60d17b -> 79f8d40)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [approx] 01/03: remove broken debian/watch file   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] 01/03: use dh support for systemd unit files (closes: #848312)   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] 02/03: eliminate debconf configuration of port number   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] 02/03: fix build failure for tests on architectures lacking ocamlopt   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] 03/03: changelog entry and NEWS for version 5.7-3   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] 03/03: changelog entry for version 5.7-2   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] annotated tag debian/5.7-2 created (now 24ceced)   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] annotated tag debian/5.7-3 created (now 3c3db1b)   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] branch master updated (685fcfc -> 3b33301)   Eric Cooper
• [Pkg-ocaml-maint-commits] [approx] branch master updated (958b009 -> 685fcfc)   Eric Cooper
• [Pkg-ocaml-maint-commits] [cmigrep] 01/08: update Vcs-{Git, Browser}   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] 02/08: dh compat level 10   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] 03/08: bump standards-version   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] 04/08: copyright:format1.0   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] 05/08: fix spelling in manpage   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] 06/08: Conflicts ocamltools => Breals   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] 07/08: - debian/README.source   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] 08/08: + package test   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] annotated tag debian/1.5-14 created (now 467eb64)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [cmigrep] branch master updated (dc5914d -> 5983a42)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [coq] 01/01: depend on ocamlfind   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] 01/01: fix FTBFS on mips   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] 01/01: fix ocamlfind package name   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] 01/01: pristine-tar data for coq_8.6.orig.tar.gz   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] 02/02: Coq 8.6   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-1 created (now edf9daf)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-2 created (now 2d00820)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-3 created (now 9c85a0b)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-4 created (now 00767f0)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] annotated tag upstream/8.6 created (now bec2376)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] branch master updated (32d5263 -> c2f1eda)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] branch master updated (4409e85 -> 56e5876)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] branch master updated (56e5876 -> 32d5263)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] branch master updated (bfe45db -> 4409e85)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [coq] branch pristine-tar updated (1dd2832 -> 4f8c678)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [frama-c] 01/01: Fix typo in Vcs-Browser field   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 01/02: pristine-tar data for frama-c_20160502+aluminium+dfsg.orig.tar.gz   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 01/04: Disable apron   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 02/02: pristine-tar data for frama-c_20161101+silicon+dfsg.orig.tar.gz   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 02/04: Add ocaml-findlib as a dependency for frama-c-base   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 03/04: Fix build on bytecode architectures   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 03/20: New upstream release.   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 04/04: Release to unstable   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 04/20: Refresh patches   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 07/20: New upstream release   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 08/20: Refresh patches   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 09/20: Add libapron-ocaml-dev to Build-Depends   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 10/20: Do not recommend why and libwhy-coq which are not part of Stretch   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 11/20: Add patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 12/20: Take into account new plugins directory   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 13/20: Remove old Breaks/Replaces statements   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 14/20: Enhance package description   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 15/20: Update changelog   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 16/20: Update patch 0001-Fix-spelling-error-in-binary.patch   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 17/20: Use canonical and secure URIs for Vcs-{Browser, Git} fields   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 18/20: Bump Standards-Version to 3.9.8, no changes required   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 19/20: Bump DH compat to 9   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] 20/20: Release to unstable   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-1 created (now 97840b8)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-2 created (now 5ed4cd7)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] annotated tag upstream/20160502+aluminium+dfsg created (now 439b965)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] annotated tag upstream/20161101+silicon+dfsg created (now 927bc9f)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] branch master updated (1821fea -> d7bd0ea)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] branch master updated (d7bd0ea -> 9840101)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [frama-c] branch pristine-tar updated (4a48d02 -> d1c4358)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [hlins] 01/06: standards version 3.9.8   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hlins] 02/06: dh compat level 10   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hlins] 03/06: Vcs-{Git, Browser}: secure URI   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hlins] 04/06: spelling mistakes in manpage   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hlins] 05/06: +homepage   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hlins] 06/06: +package test   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hlins] annotated tag debian/0.39-22 created (now c531f15)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [hlins] branch master updated (9c01056 -> 76b358a)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ledit] 01/05: standards-version 3.9.8   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ledit] 02/05: dh compat level 10   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ledit] 03/05: Vcs-{Git, Browser}: secure URI   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ledit] 04/05: add bash completion   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ledit] 05/05: replace deprecated option '-s' of debhelper by '-a'   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ledit] annotated tag debian/2.03-5 created (now 143df92)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ledit] branch master updated (fbd7a62 -> 67f54c6)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [mysql-ocaml] 01/04: build-depend on default-libmysqlclient-dev   Ralf Treinen
• [Pkg-ocaml-maint-commits] [mysql-ocaml] 02/04: spelling in previous changelog entry   Ralf Treinen
• [Pkg-ocaml-maint-commits] [mysql-ocaml] 03/04: bump standards-version   Ralf Treinen
• [Pkg-ocaml-maint-commits] [mysql-ocaml] 04/04: update Vcs-{Git, Broeder}   Ralf Treinen
• [Pkg-ocaml-maint-commits] [mysql-ocaml] annotated tag debian/1.2.0-3 created (now 9a598ca)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [mysql-ocaml] branch master updated (5b8e801 -> a673dca)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocaml-gettext] 01/02: Fix a spelling error   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml-gettext] 02/02: Release to unstable   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml-gettext] annotated tag debian/0.3.5-3 created (now 03c6486)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml-gettext] branch master updated (d1b3c27 -> b0dbd6d)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] 01/01: Move to DEP-14 compliant branch names   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] 01/04: Remove obsolete files from debian/clean   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] 02/04: Remove Sylvain Le Gall from uploaders   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] 04/04: Import Debian patch 0.6.1.4-1   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] annotated tag debian/0.6.1.4-1 created (now dd8c291)   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] annotated tag upstream/0.6.1.4 created (now f11ad9a)   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] branch debian/sid created (now 3c537c2)   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] branch debian/sid updated (3c537c2 -> f83cb03)   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml-libvirt] branch upstream/latest created (now 2166326)   Guido Guenther
• [Pkg-ocaml-maint-commits] [ocaml] 01/05: obey hardening LDFLAGS (Closes: #792502)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml] 02/05: Update headers of patch 0012-...   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml] 03/05: Compute a stable name for preprocessed files (Closes: #838188)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml] 04/05: CVE-2015-8869   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml] 05/05: Release to unstable   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml] annotated tag debian/4.02.3-9 created (now ae2d2a2)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocaml] branch debian/sid updated (67d84b5 -> d887cde)   Mehdi Dogguy
• [Pkg-ocaml-maint-commits] [ocamlwc] 01/05: d/copyright in format 1.0   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlwc] 02/05: bump standards-version   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlwc] 03/05: dh compat level 10   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlwc] 04/05: update Vcs-{Git, Browser}   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlwc] 05/05: add test   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlwc] annotated tag debian/0.3-13 created (now 62875ca)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlwc] branch master updated (1e56d93 -> 4e32bac)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] 01/01: fix Vcs-Git   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] 01/05: Drop Testsuite field   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] 02/05: Vcs-Git:secure URI   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] 03/05: dh compat level 10   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] 04/05: bump standards version   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] 05/05: +description of patch reproducible   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] annotated tag debian/1.39-4 created (now aac6a22)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] annotated tag debian/1.39-5 created (now 9bb1f41)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] branch master updated (c068a8e -> ca47341)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [ocamlweb] branch master updated (ca47341 -> 6e36105)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [otags] 01/01: build and test without libsexplib-camlp4-dev   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] branch master updated (c27f42a -> 475812b)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [ssreflect] 01/01: bdepends on Coq 8.6 (the *install.in files depend on it)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] 01/01: fix build-arch target   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] 01/01: pristine-tar data for ssreflect_1.6.1.orig.tar.gz   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] 02/03: Merge tag 'upstream/1.6.1'   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] 03/03: ssr/mathcomp 1.6   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.6.1-1 created (now a24c729)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.6.1-2 created (now 8326256)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] annotated tag rm created (now 09f2426)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] annotated tag upstream/1.6.1 created (now f8188c2)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] branch master updated (0ab0d73 -> 9c66906)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] branch master updated (18f7769 -> 0ab0d73)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] branch master updated (9c66906 -> 430b3d8)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] branch pristine-tar updated (bb09259 -> 9d7d7af)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [ssreflect] branch upstream updated (0dfc136 -> bdffa48)   Enrico Tassi
• [Pkg-ocaml-maint-commits] [virt-top] 01/01: Move to DEP-14 compliant branch names   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] 01/01: pristine-tar data for virt-top_1.0.8.orig.tar.gz   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] 02/02: Import Debian patch 1.0.8-1   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] annotated tag debian/1.0.8-1 created (now 62bb6b4)   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] annotated tag upstream/1.0.8 created (now c4b7899)   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] branch debian/sid created (now 4aa7f46)   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] branch debian/sid updated (4aa7f46 -> f955f8d)   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] branch pristine-tar updated (6b32f4f -> 4f6f3fc)   Guido Guenther
• [Pkg-ocaml-maint-commits] [virt-top] branch upstream/latest created (now 08fb2a0)   Guido Guenther
• [Pkg-ocaml-maint-commits] [why] 01/01: generate frama-c-plugin/META.frama-c-jessie   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] 01/01: set FRAMADIR   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] 01/02: tests: use /tmp when not set   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] 02/02: use FRAMAVER when creating the META file   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] annotated tag debian/2.36-3 created (now babc8dc)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] annotated tag debian/2.36-4 created (now 8b3e39c)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] annotated tag debian/2.36-5 created (now 76a4f7b)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] branch master updated (588cbba -> 11cf726)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] branch master updated (72c7ad8 -> f01f917)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [why] branch master updated (f01f917 -> 588cbba)   Ralf Treinen

Last message date: Sat Dec 31 23:49:24 UTC 2016
Archived on: Sat Dec 31 23:49:29 UTC 2016

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