[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, created. debian/8.3.beta0+13323-1

[Stephane Glondu]

The branch, experimental/master has been created
        at  6c1da06df6378da5c47e3e55a5c0845779a47ce7 (commit)

- Shortlog ------------------------------------------------------------
commit 6c1da06df6378da5c47e3e55a5c0845779a47ce7
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 24 20:17:55 2010 +0200

    Update changelog and prepare upload to experimental

commit 9c2ea6db8eb33af0b81fd92ad4d6652eb7f99cfc
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 24 20:16:12 2010 +0200

    Add 0001-Fix-installation-of-emacs-files.patch

commit d62dc42dea0cda3f00804227d02bc2d949add8af
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 24 20:08:43 2010 +0200

    Update copyright file

commit 243140cdbe626e7821c7d7481d992b9f84cd714c
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 24 20:03:18 2010 +0200

    New upstream snapshot

commit 7e8a7e298caa066fd40eb9aeec281f79c06136e7
Merge: 318fa60 b9f4739
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 24 20:01:32 2010 +0200

    Merge branch 'experimental/upstream' into experimental/master

commit 318fa60917ddc080ece3a6d303c07e06876920e7
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 16 18:26:53 2010 +0200

    Update changelog and prepare upload to experimental

commit 2d9b791f57018904acd0d7c154f486c40bbffca0
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 16 18:26:32 2010 +0200

    Refresh copyright file

commit f66d1a48ed27e53ac4a68f916edf259f610c0b2e
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jun 3 11:55:35 2010 +0200

    Install plugins in (new) binary package libcoq-ocaml

commit c90511bdca134a941999a9dd2a09b5f1c998c0b7
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jun 3 11:59:03 2010 +0200

    Update packaging according to upstream changes

commit 38f3239475df052db4e560191c65144b6905c4fe
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jun 1 13:43:03 2010 +0200

    New branches

commit 61f8bbb9137a165fddaf4bcf06d0923b04ad31e7
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jun 1 13:41:50 2010 +0200

    New upstream snapshot

commit bbb5e6eb84a46c7e8041e05ab0059994fa0b1a25
Merge: 7a99898 5b7eafd
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jul 21 09:48:05 2010 +0200

    Merge branch 'experimental/upstream' into experimental/master

-----------------------------------------------------------------------

-- 
coq packaging