This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository eliom.
commit 7932eb5fd2fb908234e5196c126db5fdda73d6aa
Author: Stephane Glondu
Date: Fri Jan 22 14:40:08 2016 +0100
Update changelog and prepare upload to unstable
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository eliom.
commit 417e607fb037e3a6665e9949cb38b408ebfcec09
Author: Stephane Glondu
Date: Fri Jan 22 14:39:42 2016 +0100
Fix compilation on bytecode architectures
---
...Fi
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/4.2-2
in repository eliom.
at a5d076e (tag)
tagging 7932eb5fd2fb908234e5196c126db5fdda73d6aa (commit)
replaces debian/4.2-1
tagged by Stephane Glondu
on T
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository eliom.
from 86f6a1c Update changelog and prepare upload to unstable
new 417e607 Fix compilation on bytecode architectures
new 7932eb5 Update change
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit b6a32d490af9fae196ae2a2e22d3586e682aee48
Author: Stephane Glondu
Date: Tue Jan 26 14:45:49 2016 +0100
Update packaging
---
debian/rules | 6 +-
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository ocaml-zarith.
commit d67232ee61b637b93007a344f45e648027e9508d
Author: Stephane Glondu
Date: Tue Jan 26 14:38:58 2016 +0100
pristine-tar data for ocaml-zarith_1.4.
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit 8c68e726147c65e0eb44aa04fa914af33cb8805c
Author: Stephane Glondu
Date: Tue Jan 26 14:38:31 2016 +0100
Remove empty debian/patches
---
debian/patch
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.4.1
in repository ocaml-zarith.
at a0f0940 (tag)
tagging e6156f45e6a02ab4246c22abc3d5337051fd759a (commit)
replaces upstream/1.4
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository ocaml-zarith.
commit e2c82becc2ab583af5c4e05936f86512b713bc95
Author: Stephane Glondu
Date: Tue Jan 26 14:39:07 2016 +0100
pristine-tar data for ocaml-zarith_1.4.
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit 165713d43108c74535e8f526f85702de87a72014
Author: Stephane Glondu
Date: Tue Jan 26 14:41:20 2016 +0100
Update changelog and prepare upload to unstab
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository ocaml-zarith.
from 6dfbc58 pristine-tar data for ocaml-zarith_1.0.orig.tar.gz
new d67232e pristine-tar data for ocaml-zarith_1.4.orig.tar.gz
new
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit 8039e1ca9489784bedd2c4067f6f58d0cd51df56
Merge: 8c68e72 e6156f4
Author: Stephane Glondu
Date: Tue Jan 26 14:39:07 2016 +0100
Merge tag 'upstream/1.
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit e9ae8ca73662116cba2b170c8934030f61a24f03
Author: Stephane Glondu
Date: Tue Jan 26 14:49:23 2016 +0100
Update Vcs-*
---
debian/control | 4 ++--
1
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.4
in repository ocaml-zarith.
at 373b97c (tag)
tagging ce1cfabbba54addedc0de8f7baf5efc6580bfbc1 (commit)
replaces upstream/1.3
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch upstream
in repository ocaml-zarith.
from 4c8d663 Imported Upstream version 1.3
new ce1cfab Imported Upstream version 1.4
new e6156f4 Imported Upstream version 1.4.1
T
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit 7d2a279c2d6c89b0f03735a373ca037ee9696be1
Author: Stephane Glondu
Date: Tue Jan 26 14:49:54 2016 +0100
Bump debhelper compat to 9
---
debian/compat
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit d80593326d1d042f6a044ef595b5f597619880be
Author: Stephane Glondu
Date: Tue Jan 26 14:39:28 2016 +0100
New upstream release
---
debian/changelog |
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/1.4.1-1
in repository ocaml-zarith.
at c3949c0 (tag)
tagging 165713d43108c74535e8f526f85702de87a72014 (commit)
replaces debian/1.3-1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-zarith.
commit e6156f45e6a02ab4246c22abc3d5337051fd759a
Author: Stephane Glondu
Date: Tue Jan 26 14:39:07 2016 +0100
Imported Upstream version 1.4.1
---
Changes
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository ocaml-zarith.
from 4fff985 Release to unstable
new 8c68e72 Remove empty debian/patches
new ce1cfab Imported Upstream version 1.4
new e6156f
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 825a995a48f15042cc84cf7cfff8b234cf87c021
Author: Stephane Glondu
Date: Tue Jan 26 15:04:40 2016 +0100
Imported Upstream version 1.4.2
---
_oasis
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository ocaml-csv.
from f25ce02 pristine-tar data for ocaml-csv_1.3.3.orig.tar.gz
new 729228f pristine-tar data for ocaml-csv_1.4.orig.tar.gz
new 35e07
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 5bbb205da0c9b02147cf5247b63ab1d19a0a
Author: Stephane Glondu
Date: Tue Jan 26 15:05:15 2016 +0100
New upstream release
---
debian/changelog | 6 +
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 8d1782e85d5013a374e5be4adafb525308338a04
Author: Stephane Glondu
Date: Tue Jan 26 15:03:08 2016 +0100
Update debian/watch
---
debian/watch | 2 +-
1
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.4
in repository ocaml-csv.
at 2581836 (tag)
tagging 111a846e291a27d6e214511703bf26f50b71cee8 (commit)
replaces upstream/1.3.3
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository ocaml-csv.
commit 532b032fb0f206d5f8fe3afe6f98c2c03f5952c8
Author: Stephane Glondu
Date: Tue Jan 26 15:04:40 2016 +0100
pristine-tar data for ocaml-csv_1.4.2.orig
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository ocaml-csv.
from 4715cbe Prepare upload to unstable
new 8d1782e Update debian/watch
new 111a846 Imported Upstream version 1.4
new 8cf4d72
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository ocaml-csv.
commit 35e07c5e31716e821e29a65712a9a5c18f697484
Author: Stephane Glondu
Date: Tue Jan 26 15:04:31 2016 +0100
pristine-tar data for ocaml-csv_1.4.1.orig
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.4.2
in repository ocaml-csv.
at ca4b61d (tag)
tagging 825a995a48f15042cc84cf7cfff8b234cf87c021 (commit)
replaces upstream/1.4.1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 950478b13213cfcc36d38c4754f80ee0feafa05d
Author: Stephane Glondu
Date: Tue Jan 26 15:17:10 2016 +0100
Update changelog and prepare upload to unstable
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 1df113f4ee555cc000ca743197ca348bee234706
Author: Stephane Glondu
Date: Tue Jan 26 15:16:42 2016 +0100
Bump Standards-Version to 3.9.6
---
debian/cont
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 9381146f67a18ca11aee16b5f66da67370282a3b
Author: Stephane Glondu
Date: Tue Jan 26 15:10:58 2016 +0100
Update packaging
---
debian/control | 1 +
debi
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch upstream
in repository ocaml-csv.
from c7a55e5 Imported Upstream version 1.3.3
new 111a846 Imported Upstream version 1.4
new 8cf4d72 Imported Upstream version 1.4.1
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.4.1
in repository ocaml-csv.
at f9a032e (tag)
tagging 8cf4d7275fd3762621600b0b4871f5766a6f9f39 (commit)
replaces upstream/1.4
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 8cf4d7275fd3762621600b0b4871f5766a6f9f39
Author: Stephane Glondu
Date: Tue Jan 26 15:04:30 2016 +0100
Imported Upstream version 1.4.1
---
.travis-ci.
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 2dbf15122b06b542ef96f4887ff11e1e6ec54d04
Author: Stephane Glondu
Date: Tue Jan 26 15:15:33 2016 +0100
Update Vcs-*
---
debian/control | 4 ++--
1 fil
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository ocaml-csv.
commit 893f1dce142c7f07e303a5fd4fa9082f0c420b32
Merge: 8d1782e 825a995
Author: Stephane Glondu
Date: Tue Jan 26 15:05:05 2016 +0100
Merge tag 'upstream/1.4.2
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository ocaml-csv.
commit 729228fcfe5b3a9774e4426bcb6548fe59d4b155
Author: Stephane Glondu
Date: Tue Jan 26 15:04:27 2016 +0100
pristine-tar data for ocaml-csv_1.4.orig.t
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/1.4.2-1
in repository ocaml-csv.
at 430187d (tag)
tagging 950478b13213cfcc36d38c4754f80ee0feafa05d (commit)
replaces debian/1.3.3-1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository cppo.
from fa16d70 Fix compilation on bytecode architectures
new e883d94 Update debian/watch
new 6f86be1 Imported Upstream version 1.2.0
new
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository cppo.
commit 0ca1cf0953f61992c0030f1ff972b7352982b5fe
Author: Stephane Glondu
Date: Tue Jan 26 15:48:04 2016 +0100
pristine-tar data for cppo_1.2.1.orig.tar.gz
--
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 67afff6d54d6bc0310f80db34a76900eea2047b6
Author: Stephane Glondu
Date: Tue Jan 26 15:51:36 2016 +0100
Update packaging
---
debian/rules | 4 ++--
1 file c
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit e883d944bad3117c390cd1a6a6542d46d37a83da
Author: Stephane Glondu
Date: Tue Jan 26 15:44:10 2016 +0100
Update debian/watch
---
debian/watch | 2 +-
1 file
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 553831e39303dff34085795625865c4fb993f355
Author: Stephane Glondu
Date: Tue Jan 26 15:48:10 2016 +0100
Imported Upstream version 1.2.2
---
INSTALL.md | 23
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 9ed803e3771a386295908e73afdb095ffccb6732
Author: Stephane Glondu
Date: Tue Jan 26 15:48:20 2016 +0100
Imported Upstream version 1.3.0
---
Makefile
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.2.2
in repository cppo.
at 668151a (tag)
tagging 553831e39303dff34085795625865c4fb993f355 (commit)
replaces upstream/1.2.1
tagged by Stephane Glondu
on
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository cppo.
commit c4502ce1dcd4417b95176dbc2b396799f3fadb77
Author: Stephane Glondu
Date: Tue Jan 26 15:48:33 2016 +0100
pristine-tar data for cppo_1.3.1.orig.tar.gz
--
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 665565cf026bb669b41e631bdc7d3fec53f23963
Author: Stephane Glondu
Date: Tue Jan 26 15:54:41 2016 +0100
Update changelog and prepare upload to unstable
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 20c9bf960ff4a6a3f077fc536316670c795cee55
Author: Stephane Glondu
Date: Tue Jan 26 15:54:23 2016 +0100
Update Vcs-*
---
debian/control | 4 ++--
1 file cha
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.3.1
in repository cppo.
at d25ba9a (tag)
tagging 1283a0a2d4e4de3df96c5228a208b845455c7ac9 (commit)
replaces upstream/1.3.0
tagged by Stephane Glondu
on
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit e0454ff56c5dc219c693d4df0c7cfacc1036
Author: Stephane Glondu
Date: Tue Jan 26 15:48:04 2016 +0100
Imported Upstream version 1.2.1
---
cppo_eval.ml |
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 4903f554a8ceeedba25cc06f6db7d50240aaa8ab
Merge: e883d94 1283a0a
Author: Stephane Glondu
Date: Tue Jan 26 15:48:33 2016 +0100
Merge tag 'upstream/1.3.1'
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository cppo.
commit 1240ce677e8e0dfcbbaab6b2004569e796ccc3dc
Author: Stephane Glondu
Date: Tue Jan 26 15:48:00 2016 +0100
pristine-tar data for cppo_1.2.0.orig.tar.gz
--
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/1.3.1-1
in repository cppo.
at d001a37 (tag)
tagging 665565cf026bb669b41e631bdc7d3fec53f23963 (commit)
replaces upstream/1.3.1
tagged by Stephane Glondu
on
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.2.1
in repository cppo.
at 5b1453b (tag)
tagging e0454ff56c5dc219c693d4df0c7cfacc1036 (commit)
replaces upstream/1.2.0
tagged by Stephane Glondu
on
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch upstream
in repository cppo.
from 10c7f02 Imported Upstream version 1.1.2
new 6f86be1 Imported Upstream version 1.2.0
new e0454ff Imported Upstream version 1.2.1
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository cppo.
commit 37dfca065ca075d28d5e7bb3d52d6e3548ddc37f
Author: Stephane Glondu
Date: Tue Jan 26 15:48:20 2016 +0100
pristine-tar data for cppo_1.3.0.orig.tar.gz
--
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.3.0
in repository cppo.
at ee0fefd (tag)
tagging 9ed803e3771a386295908e73afdb095ffccb6732 (commit)
replaces upstream/1.2.2
tagged by Stephane Glondu
on
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 6f86be106ca36cb397c38c28baf3a924af1ffcf1
Author: Stephane Glondu
Date: Tue Jan 26 15:48:00 2016 +0100
Imported Upstream version 1.2.0
---
Makefile
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit cbf441c3cdd853f55c414a67b031a3d15bcd64d3
Author: Stephane Glondu
Date: Tue Jan 26 15:48:41 2016 +0100
New upstream release
---
debian/changelog | 6 ++
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.2.0
in repository cppo.
at 9a0f12d (tag)
tagging 6f86be106ca36cb397c38c28baf3a924af1ffcf1 (commit)
replaces upstream/1.1.2
tagged by Stephane Glondu
on
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository cppo.
from 1bf5c62 pristine-tar data for cppo_1.1.2.orig.tar.gz
new 1240ce6 pristine-tar data for cppo_1.2.0.orig.tar.gz
new 0ca1cf0 pristine
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository cppo.
commit 1283a0a2d4e4de3df96c5228a208b845455c7ac9
Author: Stephane Glondu
Date: Tue Jan 26 15:48:33 2016 +0100
Imported Upstream version 1.3.1
---
Makefile
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository cppo.
commit 49bb7b52db2ff60109f53480ceb204114b5cbec9
Author: Stephane Glondu
Date: Tue Jan 26 15:48:10 2016 +0100
pristine-tar data for cppo_1.2.2.orig.tar.gz
--
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository easy-format.
commit 11d5496a7dddaf7d237609f309a36b244eb4a5ff
Author: Stephane Glondu
Date: Tue Jan 26 16:00:42 2016 +0100
Remove empty debian/patches
---
debian/patche
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository easy-format.
commit 0145bc777196576947acc62fe357c02040d006ee
Author: Stephane Glondu
Date: Tue Jan 26 16:10:27 2016 +0100
Update changelog and prepare upload to unstabl
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository easy-format.
commit 3471338d7c1d4e1f060ecf2b92fdafe8d2ba56bf
Author: Stephane Glondu
Date: Tue Jan 26 16:06:46 2016 +0100
Imported Upstream version 1.2.0
---
.gitignor
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository easy-format.
from 5c1d2d3 pristine-tar data for easy-format_1.0.2.orig.tar.gz
new 75bfc9f pristine-tar data for easy-format_1.1.0.orig.tar.gz
ne
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository easy-format.
commit 7a516e45fe84d862f9005f2407571a53a472cf19
Author: Stephane Glondu
Date: Tue Jan 26 16:06:46 2016 +0100
pristine-tar data for easy-format_1.2.0.
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.1.0
in repository easy-format.
at eefc021 (tag)
tagging 967a86e36381a8dd0c8b5aae2b7eff0a7b7b459a (commit)
replaces upstream/1.0.2
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository easy-format.
commit 8c0f9f3e8acb924506c170ba572fac92b6de1581
Author: Stephane Glondu
Date: Tue Jan 26 16:06:55 2016 +0100
New upstream release
---
debian/changelog | 6
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository easy-format.
commit b44b26dea840422c75c34c835de120516d3154c2
Author: Stephane Glondu
Date: Tue Jan 26 15:59:08 2016 +0100
Update debian/watch
---
debian/watch | 2 +-
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository easy-format.
commit 9559aa885d405695800e70225d3982edc3392d46
Merge: 11d5496 3471338
Author: Stephane Glondu
Date: Tue Jan 26 16:06:46 2016 +0100
Merge tag 'upstream/1.2
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository easy-format.
commit 75bfc9feeece07c3f943f0ef6cbe9738c3375231
Author: Stephane Glondu
Date: Tue Jan 26 16:01:22 2016 +0100
pristine-tar data for easy-format_1.1.0.
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.2.0
in repository easy-format.
at 3bc4ce7 (tag)
tagging 3471338d7c1d4e1f060ecf2b92fdafe8d2ba56bf (commit)
replaces upstream/1.1.0
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/1.2.0-1
in repository easy-format.
at 40605ea (tag)
tagging 0145bc777196576947acc62fe357c02040d006ee (commit)
replaces debian/1.0.2-1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository easy-format.
commit 11ff8c7f169bb269022d9a048d0ceb58a9642be8
Author: Stephane Glondu
Date: Tue Jan 26 16:09:58 2016 +0100
Update Vcs-*
---
debian/control | 4 ++--
1 f
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch upstream
in repository easy-format.
from 1ef82f8 Imported Upstream version 1.0.2
new 967a86e Imported Upstream version 1.1.0
new 3471338 Imported Upstream version 1.2.0
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository easy-format.
from 441df10 Update changelog and prepare upload to unstable
new b44b26d Update debian/watch
new 11d5496 Remove empty debian/patches
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit ad20f9ab9a6f4d9e080b27571fa411aa68a53907
Author: Enrico Tassi
Date: Tue Jan 26 17:18:24 2016 +0100
8.5
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag upstream/8.5
in repository coq.
at 24c37ef (tag)
tagging 164c6861860e6b52818c031f901ffeff91fca16a (commit)
replaces upstream/8.5_beta3+dfsg
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository coq.
commit 1dd2832548e89cba030d9850223b7df53aa849cb
Author: Enrico Tassi
Date: Tue Jan 26 16:56:34 2016 +0100
pristine-tar data for coq_8.5.orig.tar.gz
-
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository coq.
from f60abed pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
new 1dd2832 pristine-tar data for coq_8.5.orig.tar.gz
The 1 revisions l
83 matches
Mail list logo