The following commit has been merged in the master branch:
commit 0398252281f036c2cb92df67e25df044d6054322
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 13:00:07 2009 +0200
Bump Standards-Version to 3.8.2
diff --git a/debian/README.source b/debian/README.source
new file mode
The following commit has been merged in the master branch:
commit 5b79d28a961bab44ae41e45c290a5ce3461675ed
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 13:11:48 2009 +0200
Releasing to unstable
diff --git a/debian/changelog b/debian/changelog
index b2787c0..9bafda3 100644
---
Author: dogguy-guest
Date: Tue Jul 7 11:23:55 2009
New Revision: 6423
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6423
Log:
Bump standards to 3.8.2
Added:
trunk/packages/ocamlcreal/trunk/debian/README.source
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
Author: dogguy-guest
Date: Tue Jul 7 11:29:37 2009
New Revision: 6424
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6424
Log:
Bump compat to 5
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
trunk/packages/ocamlcreal/trunk/debian/compat
Author: dogguy-guest
Date: Tue Jul 7 11:32:16 2009
New Revision: 6425
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6425
Log:
Add a watch file
Added:
trunk/packages/ocamlcreal/trunk/debian/watch
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
Modified:
Author: dogguy-guest
Date: Tue Jul 7 11:35:51 2009
New Revision: 6426
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6426
Log:
Add a description for patch 10_Makefile.in
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
Author: dogguy-guest
Date: Tue Jul 7 11:38:06 2009
New Revision: 6427
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6427
Log:
Set maintainer as d-o-m and uploaders as Mike Furr and Mehdi Dogguy
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
Author: dogguy-guest
Date: Tue Jul 7 11:39:03 2009
New Revision: 6428
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6428
Log:
Releasing to unstable
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
Modified: trunk/packages/ocamlcreal/trunk/debian/changelog
URL:
Author: dogguy-guest
Date: Tue Jul 7 11:41:16 2009
New Revision: 6429
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6429
Log:
Move to section ocaml
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
trunk/packages/ocamlcreal/trunk/debian/control
Modified:
Author: dogguy-guest
Date: Tue Jul 7 11:42:37 2009
New Revision: 6430
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6430
Log:
Fix debian-rules-ignores-make-clean-error
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
trunk/packages/ocamlcreal/trunk/debian/rules
Author: dogguy-guest
Date: Tue Jul 7 11:49:32 2009
New Revision: 6432
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6432
Log:
Update time/date in last changelog entry
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
Modified:
The following commit has been merged in the master branch:
commit 36a1075cc564fac34b9be04b800cd34895e90a6c
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 13:51:30 2009 +0200
Update time/date in last changelog entry
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/1.5-4 has been created
at 09553e5aff429645f32bcebf2c273efcd796c22f (tag)
tagging 36a1075cc564fac34b9be04b800cd34895e90a6c (commit)
replaces debian/1.5-3
tagged by Mehdi Dogguy
on Tue Jul 7 13:51:43 2009 +0200
- Shortlog
Author: dogguy-guest
Date: Tue Jul 7 11:45:52 2009
New Revision: 6431
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6431
Log:
Fix debian-copyright-file-uses-obsolete-national-encoding
Modified:
trunk/packages/ocamlcreal/trunk/debian/changelog
The following commit has been merged in the master branch:
commit 255a3ce6b54ce0143159b3553bc8d2faababa69c
Merge: caa268f2aaeeaa325f5d0013969ef2964ccf29bc
8106a7e87f6ca04df95b6dce1f5d154a390f06fb
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 16:46:08 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit fef38693dc5200fa989e2d08bd6db8bf6cfa2ded
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 16:48:13 2009 +0200
Importing new upstream source 3.11.1
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 8ba2c83d8c1d52f53042754130d974f649781706
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 16:47:17 2009 +0200
Remove not needed file
diff --git a/debian/README.source b/debian/README.source
deleted file mode 100644
The following commit has been merged in the master branch:
commit a8251fcc3755a373035d1c7982188e370e169213
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 17:18:37 2009 +0200
Install a modified version of jocamlmktop
diff --git a/debian/jocamlmktop b/debian/jocamlmktop
new file
The following commit has been merged in the master branch:
commit e709701aad20d72c83614e38316dd4b34de853e5
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 17:19:21 2009 +0200
Hide toploop.cmi in jocamltoploop/
diff --git a/debian/jocaml.dirs.in b/debian/jocaml.dirs.in
index
The following commit has been merged in the master branch:
commit c10186e2c7ad1a1eb9508e431dcbaad082a504cd
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 18:04:30 2009 +0200
Update patch
diff --git
The following commit has been merged in the master branch:
commit 1bb7b5f0c9bfdec5556f2b3ff1d15fe6e57c1197
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 18:05:17 2009 +0200
Add option -v to expunge to select modules to filter instead of modules to
keep
diff --git
The following commit has been merged in the master branch:
commit be87650240aeeb6124a96300a811a2667aeb40d7
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 20:29:30 2009 +0200
Use ocamlinit sed rule to generate links for opt programs
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 34a742da13abee9fdff1d5997af7734bb9270dfa
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 20:39:07 2009 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index a6c66cb..e005f28 100644
---
The following commit has been merged in the pristine-tar branch:
commit 4107eaef9f5413d1cef65cf6611a5db88dae4e1f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 15:36:43 2009 +0200
pristine-tar data for jocaml_3.11.1.orig.tar.gz
diff --git a/jocaml_3.11.1.orig.tar.gz.delta
The annotated tag, upstream/3.11.1 has been created
at 157c63e663e31a80267dffc1058cf80f8b7c8486 (tag)
tagging 8106a7e87f6ca04df95b6dce1f5d154a390f06fb (commit)
replaces upstream/3.11.0
tagged by Mehdi Dogguy
on Tue Jul 7 15:37:06 2009 +0200
- Shortlog
The annotated tag, debian/1.2.14-1 has been created
at b1d7f888fbf4ac2c79db8c637279b9b2cbbd9c7c (tag)
tagging f97e7e6cb942660474ee5db0b2f53b183b5a7b90 (commit)
replaces debian/1.0.5-5
tagged by Sylvain Le Gall
on Tue Jul 7 20:00:05 2009 +
- Shortlog
The annotated tag, upstream/1.2.14 has been created
at 8d2f58f01a4ff5cd2711f8e6d23c10eaa72b9a25 (tag)
tagging 31cd11a5cb181769ef637cdc2177b83d942474b0 (commit)
tagged by Sylvain Le Gall
on Tue Jul 7 01:08:55 2009 +0200
- Shortlog
The following commit has been merged in the pristine-tar branch:
commit 90f7ac6a1e4c0e4957ad567722c589ae0819a8dc
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jul 7 01:08:55 2009 +0200
pristine-tar data for bin-prot_1.2.14.orig.tar.gz
diff --git a/bin-prot_1.2.14.orig.tar.gz.delta
The following commit has been merged in the pristine-tar branch:
commit 6bedb8d795ae72546d1928541f2f1611c6a08947
Merge: 90f7ac6a1e4c0e4957ad567722c589ae0819a8dc
19e4bf68a4c326724dfdb0748d7315e3f55710d9
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jul 7 20:28:23 2009 +
Merge
The following commit has been merged in the upstream branch:
commit 288be2dfa61972ececaa9fb59919291dd07e85f6
Merge: 31cd11a5cb181769ef637cdc2177b83d942474b0
c5377d5bb9a91e500058c9735d35f6853d22dd5a
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jul 7 22:55:41 2009 +0200
Merge branch
The following commit has been merged in the master branch:
commit f97e7e6cb942660474ee5db0b2f53b183b5a7b90
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jul 7 19:58:23 2009 +
New Upstream Version and OCaml 3.11.1 transition
* New Upstream Version
* Tighten
The following commit has been merged in the master branch:
commit ed0716f4ee171133734167b7f66ad1c296746cde
Merge: f97e7e6cb942660474ee5db0b2f53b183b5a7b90
1c6c614f24f6c6a8f181db0f714adcc42b228f44
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jul 7 23:00:39 2009 +0200
Merge branch
The annotated tag, debian/1.2.14-1 has been updated
to 197590aad66551e20ecb6e78826b0d03232a3a71 (tag)
from b1d7f888fbf4ac2c79db8c637279b9b2cbbd9c7c (which is now obsolete)
tagging ed0716f4ee171133734167b7f66ad1c296746cde (commit)
replaces debian/1.0.5-5
tagged by Sylvain
The annotated tag, debian/1.2.14-2 has been created
at cedd4bc54acbb366cee5a8e6dd852e3c22c7f3ce (tag)
tagging 4ea4d0bc3eb83bda875afaf8d9eb10c0c46346f9 (commit)
replaces debian/1.2.14-1
tagged by Sylvain Le Gall
on Tue Jul 7 21:09:49 2009 +
- Shortlog
The following commit has been merged in the master branch:
commit 4ea4d0bc3eb83bda875afaf8d9eb10c0c46346f9
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jul 7 21:09:15 2009 +
Fix bytecode only former upload
diff --git a/debian/changelog b/debian/changelog
index f699c49..193607b
The following commit has been merged in the master branch:
commit 95e701eeadfe8bafe538a50d515165cf76699ab8
Merge: 07def3572473923a600608a48d5c356dd86e4f2d
31cd11a5cb181769ef637cdc2177b83d942474b0
Author: Sylvain Le Gall gil...@debian.org
Date: Tue Jul 7 01:08:55 2009 +0200
Merge commit
The following commit has been merged in the master branch:
commit 423784a8d52bb51f72965730c8d2af6c90300269
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 22:53:52 2009 +0200
Bump standards to 3.8.2
diff --git a/debian/changelog b/debian/changelog
index e005f28..c62bb86 100644
The following commit has been merged in the master branch:
commit f10659ed2d93f7ba16b07768d22790ed0c1454ec
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 23:16:16 2009 +0200
Add a README.source
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index
The following commit has been merged in the master branch:
commit 8d045a83e2a37978ba7a34ae6003560920534fdc
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 23:16:46 2009 +0200
Releasing to unstable
diff --git a/debian/changelog b/debian/changelog
index 732a13e..0069d7b 100644
---
The following commit has been merged in the master branch:
commit f93113d65dea09abad84788de2a8afc2cfad911f
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 23:19:46 2009 +0200
Rebuild against latest Coq package, Closes: #536104
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 69faa9936d5cd62d9d29daaa381eebbface06fed
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 23:50:48 2009 +0200
Bump standards to 3.8.2
diff --git a/debian/changelog b/debian/changelog
index f85b907..2a67493 100644
The following commit has been merged in the master branch:
commit 83c552922fd7caf4b49fbb070e270560045012cc
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Tue Jul 7 23:58:34 2009 +0200
Update README.source
diff --git a/debian/README.source b/debian/README.source
index 567fe4e..f5e8078
42 matches
Mail list logo