pkg-ocaml-maint-commits
Thread
Date
Earlier messages
Later messages
Messages by Date
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] 01/05: + source/format
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] 04/05: doc-base registration
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] branch master updated (e346d4e -> 5afbe5c)
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] 02/05: description of -doc package
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] 03/05: debian/rules: install and build targets
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] branch master updated (319429d -> e346d4e)
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] 01/01: debian/rules: install
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] branch master updated (3b95ace -> 319429d)
Ralf Treinen
2017/05/17
[Pkg-ocaml-maint-commits] [ocaml-visitors] 01/01: initial package
Ralf Treinen
2017/05/16
[Pkg-ocaml-maint-commits] [visitors] branch upstream created (now 3b95ace)
Ralf Treinen
2017/05/16
[Pkg-ocaml-maint-commits] [visitors] branch master created (now 3b95ace)
Ralf Treinen
2017/05/16
[Pkg-ocaml-maint-commits] [visitors] 01/01: pristine-tar data for visitors_20170404.orig.tar.bz2
Ralf Treinen
2017/05/16
[Pkg-ocaml-maint-commits] [visitors] annotated tag upstream/20170404 created (now bba7c79)
Ralf Treinen
2017/05/16
[Pkg-ocaml-maint-commits] [visitors] branch pristine-tar created (now 64e6c5e)
Ralf Treinen
2017/04/29
[Pkg-ocaml-maint-commits] [mldonkey] annotated tag debian/3.1.5-3.1 created (now a6a2864)
Mehdi Dogguy
2017/04/29
[Pkg-ocaml-maint-commits] [mldonkey] branch master updated (364bc9a -> 76fc48e)
Mehdi Dogguy
2017/04/29
[Pkg-ocaml-maint-commits] [mldonkey] 01/01: Import Debian changes 3.1.5-3.1
Mehdi Dogguy
2017/04/24
[Pkg-ocaml-maint-commits] [why] 01/01: pristine-tar data for why_2.38.orig.tar.gz
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] annotated tag upstream/2.38 created (now f20b043)
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] annotated tag debian/2.38-1 created (now cdf5269)
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] branch pristine-tar updated (d272067 -> 8cbf52a)
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] 05/08: bump build-dependency on frama-c to Silicon
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] branch upstream updated (460c3c0 -> 464673e)
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] 07/08: close bug 858366
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] 06/08: install Jessie.o
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] 08/08: restrict to native architectures
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] 03/08: new upstream
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] 02/08: Updated version 2.38 from 'upstream/2.38'
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] 04/08: adapt patches to new upstream
Ralf Treinen
2017/04/24
[Pkg-ocaml-maint-commits] [why] branch master updated (11cf726 -> f8538ba)
Ralf Treinen
2017/04/20
[Pkg-ocaml-maint-commits] [ocamlbricks] 03/03: Update changelog and prepare upload to unstable
Stéphane Glondu
2017/04/20
[Pkg-ocaml-maint-commits] [ocamlbricks] annotated tag debian/0.90+bzr400-2 created (now af563bb)
Stéphane Glondu
2017/04/20
[Pkg-ocaml-maint-commits] [ocamlbricks] branch master updated (555d2b3 -> 2627c46)
Stéphane Glondu
2017/04/20
[Pkg-ocaml-maint-commits] [ocamlbricks] 01/03: Refresh patches
Stéphane Glondu
2017/04/20
[Pkg-ocaml-maint-commits] [ocamlbricks] 02/03: Fix a call to Obj.magic that caused segfaults (Closes: #860405)
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-dtools] 02/02: Update changelog and prepare upload to unstable
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-dtools] annotated tag debian/0.3.1-2 created (now 6d5e82b)
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-dtools] 01/02: Fix compilation on bytecode architectures (Closes: #859969)
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-dtools] branch master updated (f13e5ee -> 680c02d)
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-ao] annotated tag debian/0.2.0-2 created (now 1977c38)
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-ao] 02/03: Switch to source format 3.0 (quit)
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-ao] 03/03: Update changelog and prepare upload to unstable
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-ao] branch master updated (9cf77a4 -> 91de4fe)
Stéphane Glondu
2017/04/18
[Pkg-ocaml-maint-commits] [ocaml-ao] 01/03: Fix compilation on bytecode architectures (Closes: #859966)
Stéphane Glondu
2017/04/06
[Pkg-ocaml-maint-commits] [belenios] 01/01: Prepare upload to unstable
Stéphane Glondu
2017/04/06
[Pkg-ocaml-maint-commits] [belenios] annotated tag debian/1.4+dfsg-1 created (now 85e99fe)
Stéphane Glondu
2017/04/06
[Pkg-ocaml-maint-commits] [belenios] branch master updated (76d6a74 -> 497e6c5)
Stéphane Glondu
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 01/01: Release 1.7.1-2 to Debian experimental.
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] branch master updated (ae23007 -> 4dd9328)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] annotated tag debian/1.7.1-2 created (now 5a9c4d0)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 01/01: Use OCAMLINIT_SED to deal with raw_spacetime_lib
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] branch master updated (92b5898 -> ae23007)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 01/01: Fix build on non-dynlink arches
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] branch master updated (60a5d51 -> 92b5898)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] annotated tag upstream/4.04+1 created (now 766b88b)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] 03/05: Add myself to Uploaders and update d/changelog
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] branch upstream updated (00bde94 -> 78d745a)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] 01/05: New upstream version 4.04+1
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] branch pristine-tar updated (6af98d6 -> a64835e)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] 01/01: pristine-tar data for camlp4_4.04+1.orig.tar.gz
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] 05/05: Release 4.04+1-1 to Debian experimental.
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] 04/05: Bump ocamlbuild dependency
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] annotated tag debian/4.04+1-1 created (now 34ebd20)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] branch master updated (31ec3ec -> 9327aa9)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [camlp4] 02/05: Merge tag 'upstream/4.04+1'
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] annotated tag upstream/1.7.1 created (now b072205)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 05/06: Update bash-completion rules
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 03/06: Add myself to Uploaders and update d/changelog
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] branch upstream updated (2e9f3a7 -> 78a529b)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 01/01: pristine-tar data for findlib_1.7.1.orig.tar.gz
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] annotated tag debian/1.7.1-1 created (now 42050e5)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 06/06: Release 1.7.1-1 to Debian experimental.
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] branch pristine-tar updated (336e644 -> 463e6ae)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 04/06: Add META file for new ocaml libs
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] branch master updated (b16ece9 -> 60a5d51)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [findlib] 02/06: Merge tag 'upstream/1.7.1'
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] branch upstream updated (7674bef -> 6c5972f)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] annotated tag debian/0.10.1-1 created (now d2999f9)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] 04/06: Update patches
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] 03/06: Update d/changelog
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] 01/01: pristine-tar data for ocamlbuild_0.10.1.orig.tar.gz
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] 06/06: Release 0.10.1-1 to Debian experimental.
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] annotated tag upstream/0.10.1 created (now 160affb)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] 05/06: Force build against ocaml 4.04
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] branch pristine-tar updated (af4c334 -> e86a997)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] branch master updated (2f9296e -> 3e3dd50)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocamlbuild] 02/06: Merge tag 'upstream/0.10.1'
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (15b8708 -> a0ca317)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Release 4.04.0-2 to Debian experimental.
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocaml] annotated tag debian/4.04.0-2 created (now d41da0c)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (b2d5d54 -> 15b8708)
Ximin Luo
2017/03/04
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Fix the build on non-opt+64 arches for raw_spacetime
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Release 4.04.0-1 to Debian experimental
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] annotated tag debian/4.04.0-1 created (now ff5b14c)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (e28c444 -> b2d5d54)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Some raw_spacetime files are not installed on non-opt architectures
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (c2605ca -> e28c444)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (1053f13 -> c2605ca)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Some raw_spacetime files are not installed on non-opt architectures
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Don't install ocamloptp on non-opt architectures, properly
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (9c1fa64 -> 1053f13)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Fix some install paths
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (0ac090a -> 9c1fa64)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 01/03: Update path to ocamlobjinfo
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 03/03: Add Replaces, lintian-overrides to d/control, reduce dpkg-gencontrol warnings
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 02/03: Fix ocaml-nox.install for non-opt arches
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (282587f -> 0ac090a)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] branch debian/experimental updated (e5606fc -> 282587f)
Ximin Luo
2017/03/03
[Pkg-ocaml-maint-commits] [ocaml] 01/01: Merge ocaml-native-compilers into ocaml-nox
Ximin Luo
2017/02/22
[Pkg-ocaml-maint-commits] !! GREETINGS !!!
hassan karam
2017/02/22
[Pkg-ocaml-maint-commits] [ocaml-zarith] 01/01: Add pristine-tar to debian/gbp.conf
Stéphane Glondu
2017/02/22
[Pkg-ocaml-maint-commits] [ocaml-zarith] branch master updated (ea80cc9 -> bfd5cb0)
Stéphane Glondu
2017/02/22
[Pkg-ocaml-maint-commits] [ocaml-zarith] annotated tag debian/1.4.1-2 created (now 61d5b1d)
Stéphane Glondu
2017/02/22
[Pkg-ocaml-maint-commits] [ocaml-zarith] 02/02: Update changelog and prepare upload to unstable
Stéphane Glondu
2017/02/22
[Pkg-ocaml-maint-commits] [ocaml-zarith] branch master updated (165713d -> ea80cc9)
Stéphane Glondu
2017/02/22
[Pkg-ocaml-maint-commits] [ocaml-zarith] 01/02: Build plugin with -linkall (Closes: #854787)
Stéphane Glondu
2017/02/14
[Pkg-ocaml-maint-commits] [ocaml-csv] branch master updated (78855e2 -> 08ff04f)
Ralf Treinen
2017/02/14
[Pkg-ocaml-maint-commits] [ocaml-csv] 01/01: update of homepage: thank bug submitter
Ralf Treinen
2017/02/14
[Pkg-ocaml-maint-commits] [ocaml-csv] 01/01: updated homepage
Ralf Treinen
2017/02/14
[Pkg-ocaml-maint-commits] [ocaml-csv] branch master updated (a504639 -> 78855e2)
Ralf Treinen
2017/02/05
[Pkg-ocaml-maint-commits] [dose3] branch jessie-backports/master updated (a815a89 -> a02b3f6)
Ralf Treinen
2017/02/05
[Pkg-ocaml-maint-commits] [dose3] 01/01: fix changelog: merge artifact, location of 5.0.1-2~bpo8+1
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] annotated tag debian/6.37.0-3 created (now 8e44e15)
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] 03/06: Standards-Version 3.9.8
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] 06/06: update homepage
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] 05/06: drop replace/conflicts ocaml-tools
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] 04/06: Vcs-*: secure URI
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] 02/06: DH compat level 10
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] branch master updated (be02f22 -> 5c37f6d)
Ralf Treinen
2017/01/24
[Pkg-ocaml-maint-commits] [ocamlmakefile] 01/06: changelog entry for removal of Rémi from Uploaders
Ralf Treinen
2017/01/23
[Pkg-ocaml-maint-commits] [advi] annotated tag debian/1.10.2-3 created (now 6f1f2ef)
Ralf Treinen
2017/01/23
[Pkg-ocaml-maint-commits] [advi] 03/05: spelling error in d/README
Ralf Treinen
2017/01/23
[Pkg-ocaml-maint-commits] [advi] branch master updated (b0f3b7c -> a85ec4c)
Ralf Treinen
2017/01/23
[Pkg-ocaml-maint-commits] [advi] 01/05: standards-version 3.9.8
Ralf Treinen
2017/01/23
[Pkg-ocaml-maint-commits] [advi] 04/05: Vcs-*: use secure URI
Ralf Treinen
2017/01/23
[Pkg-ocaml-maint-commits] [advi] 05/05: make safer mode the default
Ralf Treinen
2017/01/23
[Pkg-ocaml-maint-commits] [advi] 02/05: dh compat version 9
Ralf Treinen
2017/01/21
[Pkg-ocaml-maint-commits] [dose3] 01/01: set Multi-Arch=foreign for dose-doc
Ralf Treinen
2017/01/21
[Pkg-ocaml-maint-commits] [dose3] branch master updated (1d32a58 -> bb3af80)
Ralf Treinen
2017/01/21
[Pkg-ocaml-maint-commits] [dose3] branch jessie-backports/master updated (739f00b -> a815a89)
Ralf Treinen
2017/01/21
[Pkg-ocaml-maint-commits] [dose3] 01/01: Drop patch ocaml-4.02.3+gcc-6.2.0
Ralf Treinen
2017/01/20
[Pkg-ocaml-maint-commits] [dose3] branch jessie-backports/master updated (7d685e2 -> 739f00b)
Ralf Treinen
2017/01/20
[Pkg-ocaml-maint-commits] [dose3] 03/03: refreshed patches
Ralf Treinen
2017/01/20
[Pkg-ocaml-maint-commits] [dose3] 02/03: backport of 5.0.1-8
Ralf Treinen
2017/01/20
[Pkg-ocaml-maint-commits] [dose3] 01/03: Merge branch 'master' into jessie-backports/master
Ralf Treinen
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] 05/05: update changelog and homepage
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] branch pristine-tar updated (1bd30d4 -> 08ae9bd)
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] 03/05: Imported Upstream version 1.4.1
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] 02/02: pristine-tar data for cppo_1.4.1.orig.tar.gz
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] 01/05: Imported Upstream version 1.4.0
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] 02/05: Merge tag 'upstream/1.4.0'
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] annotated tag debian/1.4.1-1 created (now 314731f)
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] 01/02: pristine-tar data for cppo_1.4.0.orig.tar.gz
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] 04/05: Merge tag 'upstream/1.4.1'
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] annotated tag upstream/1.4.1 created (now 477eebc)
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] annotated tag upstream/1.4.0 created (now ce4003f)
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] branch upstream updated (4ece36e -> 59a3d7a)
Hendrik Tews
2017/01/19
[Pkg-ocaml-maint-commits] [cppo] branch master updated (92dcc90 -> 6f3e817)
Hendrik Tews
2017/01/17
[Pkg-ocaml-maint-commits] [dose3] annotated tag debian/5.0.1-8 created (now f22a843)
Ralf Treinen
2017/01/17
[Pkg-ocaml-maint-commits] [dose3] 02/03: update embedded cputable and tupletable to dpkg 1.18.15
Ralf Treinen
2017/01/17
[Pkg-ocaml-maint-commits] [dose3] branch master updated (e3d3320 -> 1d32a58)
Ralf Treinen
2017/01/17
[Pkg-ocaml-maint-commits] [dose3] 03/03: add --deb-drop-b-d-arch option
Ralf Treinen
2017/01/17
[Pkg-ocaml-maint-commits] [dose3] 01/03: replace architecture triplets by tuples
Ralf Treinen
2017/01/15
[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
2017/01/15
[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-5 created (now f59c275)
Mehdi Dogguy
2017/01/15
[Pkg-ocaml-maint-commits] [frama-c] 02/02: Release to unstable
Mehdi Dogguy
2017/01/15
[Pkg-ocaml-maint-commits] [frama-c] branch master updated (0de6a01 -> 0e5d69e)
Mehdi Dogguy
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] branch master updated (a5735d4 -> db54cd8)
Hendrik Tews
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] 02/03: Merge tag 'upstream/20170109'
Hendrik Tews
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] branch upstream updated (fc867d4 -> 991870c)
Hendrik Tews
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] 03/03: update packaging for new upstream version
Hendrik Tews
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] branch pristine-tar updated (862c915 -> c2552f0)
Hendrik Tews
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20170109-1 created (now 2017bc9)
Hendrik Tews
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] 01/01: pristine-tar data for hol-light_20170109.orig.tar.gz
Hendrik Tews
2017/01/12
[Pkg-ocaml-maint-commits] [hol-light] annotated tag upstream/20170109 created (now 3eb0ea7)
Hendrik Tews
2017/01/10
[Pkg-ocaml-maint-commits] [confluence] 01/01: package removed
Ralf Treinen
2017/01/10
[Pkg-ocaml-maint-commits] [confluence] branch master updated (dbb3edb -> ddf75ba)
Ralf Treinen
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] 02/03: Merge tag 'upstream/0.13'
Hendrik Tews
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] 03/03: update packaging
Hendrik Tews
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] branch pristine-tar updated (98bf81f -> 8e178a3)
Hendrik Tews
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] annotated tag upstream/0.13 created (now fac3cd0)
Hendrik Tews
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] branch master updated (db95154 -> ece0feb)
Hendrik Tews
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] 01/01: pristine-tar data for prooftree_0.13.orig.tar.gz
Hendrik Tews
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] annotated tag debian/0.13-1 created (now cfb4b7d)
Hendrik Tews
2017/01/03
[Pkg-ocaml-maint-commits] [prooftree] branch upstream updated (2dd7896 -> e7a7642)
Hendrik Tews
2017/01/01
[Pkg-ocaml-maint-commits] [frama-c] 01/02: Avoid using PWD in the Makefile
Mehdi Dogguy
2017/01/01
[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-4 created (now 16a9fe7)
Mehdi Dogguy
2017/01/01
[Pkg-ocaml-maint-commits] [frama-c] branch master updated (324038d -> 0de6a01)
Mehdi Dogguy
2017/01/01
[Pkg-ocaml-maint-commits] [frama-c] 02/02: Release to unstable
Mehdi Dogguy
2017/01/01
[Pkg-ocaml-maint-commits] [otags] annotated tag debian/4.02.2-2 created (now 5fd98d9)
Hendrik Tews
2017/01/01
[Pkg-ocaml-maint-commits] [otags] 01/01: fix 3 lintian warnings
Hendrik Tews
2017/01/01
[Pkg-ocaml-maint-commits] [otags] branch master updated (475812b -> 635f74b)
Hendrik Tews
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-3 created (now 77bffd6)
Mehdi Dogguy
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] 05/08: Re-enable Impact plugin by dropping --disable-impact
Mehdi Dogguy
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] 03/08: Avoid double linking of LoopAnalysis.cmo
Mehdi Dogguy
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] 07/08: Drop use of --enable-zarith=<path>
Mehdi Dogguy
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] 01/08: Install frama-c-config utility in frama-c-base
Mehdi Dogguy
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] 02/08: Clean up content of filtered files from debian/gbp.conf
Mehdi Dogguy
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] branch master updated (9840101 -> 324038d)
Mehdi Dogguy
2016/12/31
[Pkg-ocaml-maint-commits] [frama-c] 06/08: Drop configure flag --disable-security as it became useless.
Mehdi Dogguy
Earlier messages
Later messages