August 2013 Archives by author

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

Starting: Sat Aug 3 06:17:44 UTC 2013
Ending: Fri Aug 30 21:13:55 UTC 2013
Messages: 63

• [Pkg-ocaml-maint-commits] $60.6 MILLION USD TO CREDIT TO YOUR ACCOUNT   NBAD BANK
• [Pkg-ocaml-maint-commits] [marionnet] branch master updated (bfbc3f3 -> 11b8b0e)   Nicolas Dandrimont
• [Pkg-ocaml-maint-commits] [marionnet] 01/02: Update my email address   Nicolas Dandrimont
• [Pkg-ocaml-maint-commits] [marionnet] 02/02: Update changelog   Nicolas Dandrimont
• [Pkg-ocaml-maint-commits] [ssreflect] branch master updated (41c0c80 -> f60fc91)   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] 01/07: Update debian/watch   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] 03/07: Merge tag 'upstream/1.5_rc1'   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] 04/07: New upstream release   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] branch pristine-tar updated (cd7cee1 -> 814904b)   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] 05/07: Update Vcs-*   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] 06/07: Compile with OCaml >= 4   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] 07/07: Update changelog and prepare upload to experimental   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] 01/01: pristine-tar data for ssreflect_1.5~rc1.orig.tar.gz   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] branch upstream updated (46fb9a6 -> 69c436c)   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] annotated tag upstream/1.5_rc1 created (now dc5fc2b)   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.5_rc1-1 created (now 8cca397)   Stéphane Glondu
• [Pkg-ocaml-maint-commits] [coccinelle] branch master updated (f762ed0 -> 18fd17e)   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] branch pristine-tar updated (7ef4b1a -> cfbca73)   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] 02/04: Merge tag 'upstream/1.0.0_rc18.deb'   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] 03/04: New upstream RC   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] 04/04: Standards-Version 3.9.4 — no changes required   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] branch upstream updated (9f8b4a2 -> 79dab3d)   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] 01/01: pristine-tar data for coccinelle_1.0.0~rc18.deb.orig.tar.gz   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] annotated tag upstream/1.0.0_rc18.deb created (now f3550d8)   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] annotated tag debian/1.0.0_rc18.deb-1 created (now d8b0ca3)   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] branch master updated (18fd17e -> 97dfbf5)   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] 01/01: Configure with --enable-ocaml   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [coccinelle] annotated tag debian/1.0.0_rc18.deb-2 created (now f78d186)   Eugeniy Meshcheryakov
• [Pkg-ocaml-maint-commits] [marionnet] branch master updated (11b8b0e -> 628a414)   Lucas Nussbaum
• [Pkg-ocaml-maint-commits] [marionnet] 01/03: fix: debian-changelog-line-too-long   Lucas Nussbaum
• [Pkg-ocaml-maint-commits] [marionnet] 02/03: Fix lintian warnings: extra-license-file   Lucas Nussbaum
• [Pkg-ocaml-maint-commits] [marionnet] 03/03: prepare changelog for upload   Lucas Nussbaum
• [Pkg-ocaml-maint-commits] [marionnet] annotated tag debian/0.90.6+bzr434-2 created (now cc41092)   Lucas Nussbaum
• [Pkg-ocaml-maint-commits] [hol-light] branch master updated (e00e75a -> 90f4d63)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] branch pristine-tar updated (cbf5bcd -> a9eceb6)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] 02/06: Merge tag 'upstream/20130811'   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] 03/06: fix debian/changelog   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] 04/06: update patches   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] 05/06: update elc path in hol-light-source.exclude   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] 06/06: update copyright   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] branch upstream updated (b78aeef -> 68b59a7)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] 01/01: pristine-tar data for hol-light_20130811.orig.tar.gz   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] annotated tag upstream/20130811 created (now 7bf88fa)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20130811-1 created (now 2b34c47)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] branch master updated (324cfaf -> 64f522d)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 01/08: Imported Upstream version 4.00.1   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 02/08: Merge tag 'upstream/4.00.1'   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 03/08: update changelog   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 04/08: delete type conf name patch   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 05/08: update build dependencies   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 06/08: Imported Upstream version 4.00.2   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 07/08: Merge tag 'upstream/4.00.2'   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] branch upstream updated (12f9bf6 -> acd1aca)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] branch pristine-tar updated (f0f5f95 -> 6173ad3)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 08/08: update changelog   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 01/02: pristine-tar data for otags_4.00.1.orig.tar.gz   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] 02/02: pristine-tar data for otags_4.00.2.orig.tar.gz   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] annotated tag debian/4.00.2-1 created (now 36d6d38)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] annotated tag upstream/4.00.2 created (now 3a02d78)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [otags] annotated tag upstream/4.00.1 created (now a7af1ef)   Hendrik Tews
• [Pkg-ocaml-maint-commits] [alt-ergo] branch master updated (231d305 -> 4cb6613)   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] 01/01: lib-dev package breaks/replaces alt-ergo in versions before package split   Ralf Treinen
• [Pkg-ocaml-maint-commits] [alt-ergo] annotated tag debian/0.95.1-3 created (now 8aa412e)   Ralf Treinen

Last message date: Fri Aug 30 21:13:55 UTC 2013
Archived on: Fri Aug 30 21:14:07 UTC 2013

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