The branch, experimental/master has been created at de77adf84c0c5db39247f1902af19974e5fd008b (commit)
- Shortlog ------------------------------------------------------------ commit de77adf84c0c5db39247f1902af19974e5fd008b Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr> Date: Wed Apr 3 17:12:44 2013 +0200 adapt patch 0003-Fix-a-typo to new upstream commit c9e2107498e326b692bacbbab07ffea4ee7eb770 Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr> Date: Wed Apr 3 17:02:25 2013 +0200 adapt patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be to new upstream release commit 3357886b0f19a54f9a6ebf8805b2fec57c530db3 Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr> Date: Wed Apr 3 17:00:57 2013 +0200 adapt patch 0001-No-need-to-activate-debug-flag.patch to new upstream release commit ed6e79f7836736c60f4b3b9b0aa94b2e06f96e8c Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr> Date: Wed Apr 3 16:51:05 2013 +0200 new upstream release 0.95.1 commit 516d70032f5a2368cb4779e4b92a24987f164d76 Merge: 2546e2f e8667c8 Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr> Date: Wed Apr 3 16:47:24 2013 +0200 Merge tag 'upstream/0.95.1' into experimental/master Upstream version 0.95.1 commit e8667c877cb133dfaf6ec6591de1b23e17ed6b6d Author: Ralf Treinen <trei...@pps.univ-paris-diderot.fr> Date: Wed Apr 3 16:47:23 2013 +0200 Imported Upstream version 0.95.1 ----------------------------------------------------------------------- -- alt-ergo packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits