Author: glondu-guest
Date: Wed Feb 25 01:05:38 2009
New Revision: 6258
URL: http://svn.debian.org/wsvn/?sc=1&rev=6258
Log:
Add a footer
Modified:
trunk/tools/ocaml_transition_monitor/ocaml-status.css
trunk/tools/ocaml_transition_monitor/ocaml_transition_monitor.mll
Modified: trunk/tools/
Author: glondu-guest
Date: Wed Feb 25 00:05:41 2009
New Revision: 6257
URL: http://svn.debian.org/wsvn/?sc=1&rev=6257
Log:
Add a script to monitor transitions
Added:
trunk/tools/ocaml_transition_monitor/
trunk/tools/ocaml_transition_monitor/Makefile
trunk/tools/ocaml_transition_monito
Author: glondu-guest
Date: Tue Feb 24 23:49:21 2009
New Revision: 6256
URL: http://svn.debian.org/wsvn/?sc=1&rev=6256
Log:
More committers
Modified:
trunk/tools/svn2git/glondu_svn2git.py
Modified: trunk/tools/svn2git/glondu_svn2git.py
URL:
http://svn.debian.org/wsvn/trunk/tools/svn2git/glon
The annotated tag, upstream/3.0.0 has been created
at 9d4820ce7465bf2a8b920207d6de94dfb27f0b14 (tag)
tagging da010ac9e612c194e273c80bed7354bbda9bba7c (commit)
replaces upstream/2.9.7
tagged by Mehdi Dogguy
on Tue Feb 24 23:55:22 2009 +0100
- Shortlog
The following commit has been merged in the pristine-tar branch:
commit 64bb47fae95a7528c71bf2ebbc86ae312e2023a0
Author: Mehdi Dogguy
Date: Tue Feb 24 23:55:22 2009 +0100
pristine-tar data for mldonkey_3.0.0.orig.tar.gz
diff --git a/mldonkey_3.0.0.orig.tar.gz.delta b/mldonkey_3.0.0.orig.ta
The following commit has been merged in the master branch:
commit c25a80885ab76654638919fdafb35de64044938c
Author: Mehdi Dogguy
Date: Wed Feb 25 00:09:06 2009 +0100
changelog update
diff --git a/debian/changelog b/debian/changelog
index 615cabd..31705b0 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit 843733fec68ef76a593d9c6a8b727e477ac0090e
Author: Mehdi Dogguy
Date: Wed Feb 25 00:08:51 2009 +0100
Desactivate url_slashes
diff --git a/debian/patches/00list b/debian/patches/00list
index eeb51fd..e3142cf 100644
--- a/debian
The following commit has been merged in the master branch:
commit 21931e837ba1998aeae6d430091abfb3f95d68fd
Merge: 5233ab3f8f2b2b542262757e761e3d62be03fd8d
da010ac9e612c194e273c80bed7354bbda9bba7c
Author: Mehdi Dogguy
Date: Tue Feb 24 23:55:22 2009 +0100
Merge commit 'upstream/3.0.0'
--
The following commit has been merged in the master branch:
commit 5233ab3f8f2b2b542262757e761e3d62be03fd8d
Author: Mehdi Dogguy
Date: Tue Feb 24 23:54:35 2009 +0100
debian/control relooking
diff --git a/debian/control b/debian/control
index 4ade832..d3076f7 100644
--- a/debian/control
+++
Author: gildor
Date: Tue Feb 24 22:35:19 2009
New Revision: 6255
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6255
Log:
* Fix last changelog entry
Modified:
trunk/packages/headache/trunk/debian/changelog
Modified: trunk/packages/headache/trunk/debian/changelog
URL:
http://svn.d
Author: gildor
Date: Tue Feb 24 22:31:48 2009
New Revision: 6254
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6254
Log:
* Upgrade Standards-Version to 3.8.0 (README.source)
* Add build-dependency on dh-ocaml
* Set 'Debian OCaml Maintainers' as maintainer
Added:
trunk/packages/hea
Author: gildor
Date: Tue Feb 24 22:18:31 2009
New Revision: 6253
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6253
Log:
* Add build-depends on dh-ocaml
* Upgrade Standards-Version to 3.8.0 (README.source)
Added:
trunk/packages/cothreads/trunk/debian/README.source
Modified:
tr
Author: gildor
Date: Tue Feb 24 22:06:00 2009
New Revision: 6252
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6252
Log:
* Update Standards-Version to 3.8.0:
* Add Homepage field
* Add README.source
* Add build-dependency on dh-ocaml
Added:
trunk/packages/ounit/trunk/debian/RE
Author: gildor
Date: Tue Feb 24 21:41:37 2009
New Revision: 6251
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6251
Log:
* New upstream release
* Add build-dependency on dh-ocaml
Modified:
trunk/packages/ocamlgraph/trunk/debian/changelog
trunk/packages/ocamlgraph/trunk/debian/
The annotated tag, upstream/3.11 has been created
at 8f73f642d3f1ffbbb6609307eff67d9c6a4cb974 (tag)
tagging aa37038f4c3fb3c1af77715084650bd60059a0ab (commit)
replaces upstream/3.10
tagged by Samuel Mimram
on Tue Feb 24 20:42:12 2009 +0100
- Shortlog -
The annotated tag, debian/3.11-1 has been created
at aa612eba73e04868c1b03084988584733865d6fe (tag)
tagging df9d4807aaa6524b0aaf907325086b21b93067c4 (commit)
replaces debian/3.10-1
tagged by Samuel Mimram
on Tue Feb 24 21:44:32 2009 +0100
- Shortlog -
The following commit has been merged in the pristine-tar branch:
commit 9b35d2928e24dc6179e14ab87d6483561f51c132
Author: Samuel Mimram
Date: Tue Feb 24 20:42:12 2009 +0100
pristine-tar data for ocaml-doc_3.11.orig.tar.gz
diff --git a/ocaml-doc_3.11.orig.tar.gz.delta b/ocaml-doc_3.11.orig.t
The following commit has been merged in the master branch:
commit df9d4807aaa6524b0aaf907325086b21b93067c4
Author: Samuel Mimram
Date: Tue Feb 24 21:42:42 2009 +0100
Upload to unstable.
diff --git a/debian/changelog b/debian/changelog
index 5f12bd3..054323e 100644
--- a/debian/changelog
++
The following commit has been merged in the master branch:
commit 1599d8c21f84ac9e4cbd3310360df2966faeeb3a
Author: Samuel Mimram
Date: Tue Feb 24 20:54:20 2009 +0100
Update description.
diff --git a/debian/control b/debian/control
index 203b153..b5a2f8c 100644
--- a/debian/control
+++ b/de
The following commit has been merged in the master branch:
commit 1d3ec566de4f120c64a7099a2d01c9c70df469e3
Author: Samuel Mimram
Date: Tue Feb 24 20:49:36 2009 +0100
Update docs + use dh_link.
diff --git a/debian/changelog b/debian/changelog
index 5ff110f..5f12bd3 100644
--- a/debian/chang
The following commit has been merged in the master branch:
commit 057320cedc34d023ed647e975ccb33f2cbca6f34
Author: Samuel Mimram
Date: Tue Feb 24 20:44:05 2009 +0100
Updates.
diff --git a/debian/changelog b/debian/changelog
index 27b6d37..5ff110f 100644
--- a/debian/changelog
+++ b/debian/
The following commit has been merged in the master branch:
commit 2fc294af008c2c486e6f9be15b4401eb562286ff
Merge: 4d14e204586260fa5d52666773f17c2c3efc9ab9
aa37038f4c3fb3c1af77715084650bd60059a0ab
Author: Samuel Mimram
Date: Tue Feb 24 20:42:13 2009 +0100
Merge commit 'upstream/3.11'
--
Author: smimram
Date: Tue Feb 24 19:31:13 2009
New Revision: 6250
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6250
Log:
Switch ocaml-doc packaging to Git
Added:
trunk/packages/ocaml-doc/trunk/README
Removed:
trunk/packages/ocaml-doc/trunk/debian/
trunk/packages/ocaml-doc
The annotated tag, debian/0.9.5-2 has been created
at 9dce659877b35941924bb20b3e286956c4b128af (tag)
tagging ad31f8a48c6f2239ce7f56e79640bb4d92c95a30 (commit)
replaces debian/0.9.5-1
tagged by Stephane Glondu
on Tue Feb 24 18:28:30 2009 +0100
- Shortlog -
Author: smimram
Date: Tue Feb 24 18:22:28 2009
New Revision: 6249
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6249
Log:
Switch ocamlodbc packaging to Git
Added:
trunk/packages/ocamlodbc/trunk/README
Removed:
trunk/packages/ocamlodbc/trunk/debian/
trunk/packages/ocamlodbc
The annotated tag, debian/1.3-9 has been created
at 7dcb23c718a6b1bd2927b07b3584a3eb2737f673 (tag)
tagging ccaa2075c7d8cce941bc1bcc83271b7c87ddf342 (commit)
replaces debian/1.3-8
tagged by Samuel Mimram
on Tue Feb 24 19:11:28 2009 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit ccaa2075c7d8cce941bc1bcc83271b7c87ddf342
Author: Samuel Mimram
Date: Tue Feb 24 19:09:51 2009 +0100
Upload to unstable.
diff --git a/debian/changelog b/debian/changelog
index 6da3a0d..cd6a22d 100644
--- a/debian/changelog
++
The following commit has been merged in the master branch:
commit 827bd9921be4a589481be6ca3d49e4c337272101
Author: Samuel Mimram
Date: Tue Feb 24 19:09:19 2009 +0100
Add misc:Depends.
diff --git a/debian/control b/debian/control
index 106ad65..e90d97e 100644
--- a/debian/control
+++ b/debi
The following commit has been merged in the master branch:
commit 4b12c9c97c7e85acf5417f4f5004e614fcba25fc
Author: Samuel Mimram
Date: Tue Feb 24 19:07:16 2009 +0100
Update control.
diff --git a/debian/control b/debian/control
index 7b85ae4..106ad65 100644
--- a/debian/control
+++ b/debian
The following commit has been merged in the master branch:
commit c7bde0096736c42f908c1b4545129a1dc6cff0f0
Author: Samuel Mimram
Date: Tue Feb 24 19:05:36 2009 +0100
Switch control.in to git.
diff --git a/debian/control.in b/debian/control.in
index a3ea37d..5424c0f 100644
--- a/debian/cont
The following commit has been merged in the master branch:
commit 40eca9ec9c99b5d7f520cb94d76251dbcab76e64
Author: Samuel Mimram
Date: Tue Feb 24 19:05:12 2009 +0100
Update compat and standards version.
diff --git a/debian/changelog b/debian/changelog
index 008dbb9..6da3a0d 100644
--- a/de
Author: smimram
Date: Tue Feb 24 18:03:13 2009
New Revision: 6248
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6248
Log:
Switch cryptokit packaging to Git
Added:
trunk/packages/cryptokit/trunk/README
Removed:
trunk/packages/cryptokit/trunk/debian/
trunk/packages/cryptokit
The annotated tag, debian/1.0-10 has been created
at 383ba5ac03d48a198732e376972c76da3b7481c8 (tag)
tagging 58379d5cfcb564f0ee6ce4a435ff4b88cbba5bd7 (commit)
replaces debian/1.0-9
tagged by Samuel Mimram
on Tue Feb 24 18:46:53 2009 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit 58379d5cfcb564f0ee6ce4a435ff4b88cbba5bd7
Author: Samuel Mimram
Date: Tue Feb 24 18:46:06 2009 +0100
Upload to unstable.
diff --git a/debian/changelog b/debian/changelog
index b1b29dc..f4675b3 100644
--- a/debian/changelog
++
The following commit has been merged in the master branch:
commit bd1b3df947e230af14d27f8f642a0a01dfba448e
Author: Samuel Mimram
Date: Tue Feb 24 18:39:02 2009 +0100
Use dh-ocaml.
diff --git a/debian/changelog b/debian/changelog
index e6f9a7c..b1b29dc 100644
--- a/debian/changelog
+++ b/de
The following commit has been merged in the master branch:
commit 5c9c6b79fa8a0dea030d08bc6ddd6297c3ba6fec
Author: Samuel Mimram
Date: Tue Feb 24 18:35:13 2009 +0100
Update compat and standards version.
diff --git a/debian/changelog b/debian/changelog
index e15f3ef..e6f9a7c 100644
--- a/de
The following commit has been merged in the master branch:
commit e7f75aa47cf41a613a3827ab180328aff896ccad
Author: Mehdi Dogguy
Date: Tue Feb 24 18:41:30 2009 +0100
Add gbp.conf to avoid future problems
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 000..cec6
The following commit has been merged in the master branch:
commit b13b1cfa394909da21e1b168fea3eb89ca77ee35
Author: Mehdi Dogguy
Date: Tue Feb 24 18:41:30 2009 +0100
Add gbp.conf to avoid future problems
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 000..cec6
The following commit has been merged in the master branch:
commit 023a3390be75782ef503a613ba64d75e9044a471
Author: Mehdi Dogguy
Date: Tue Feb 24 18:41:30 2009 +0100
Add gbp.conf to avoid future problems
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 000..cec6
The following commit has been merged in the master branch:
commit ad31f8a48c6f2239ce7f56e79640bb4d92c95a30
Author: Stephane Glondu
Date: Tue Feb 24 18:18:24 2009 +0100
Bump ocaml build-dep version and prepare upload
diff --git a/debian/changelog b/debian/changelog
index 65a954e..bf2732c 10
Author: smimram
Date: Tue Feb 24 17:33:54 2009
New Revision: 6247
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6247
Log:
Switch ocamlagrep packaging to Git
Added:
trunk/packages/ocamlagrep/trunk/README
Removed:
trunk/packages/ocamlagrep/trunk/debian/
trunk/packages/ocamla
The annotated tag, debian/1.05-11 has been created
at 6378632decea92e734431466250d19a5cb37725d (tag)
tagging 7786d1ce08f0162ef9bab025f4eb8b039dda6a29 (commit)
replaces debian/1.05-10
tagged by Samuel Mimram
on Tue Feb 24 18:20:49 2009 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit 7786d1ce08f0162ef9bab025f4eb8b039dda6a29
Author: Samuel Mimram
Date: Tue Feb 24 18:19:10 2009 +0100
Upload to unstable.
diff --git a/debian/changelog b/debian/changelog
index d413e6d..842a65e 100644
--- a/debian/changelog
++
The following commit has been merged in the master branch:
commit 0e5e9cae0b2b14db2ef0178fa2c8576552abf31d
Author: Samuel Mimram
Date: Tue Feb 24 18:17:57 2009 +0100
Rename META.
diff --git a/debian/META.in b/debian/META.camlidl.in
similarity index 100%
rename from debian/META.in
rename to
The following commit has been merged in the master branch:
commit caa6b88bf4e9745e14d55d69cc476a87bd00caf7
Author: Samuel Mimram
Date: Tue Feb 24 18:13:34 2009 +0100
Update control.
diff --git a/debian/control b/debian/control
index e3196d9..d436718 100644
--- a/debian/control
+++ b/debian
The following commit has been merged in the master branch:
commit f3400d14885bade3eee17882213f217377fa1821
Author: Samuel Mimram
Date: Tue Feb 24 18:07:21 2009 +0100
Updates.
diff --git a/debian/changelog b/debian/changelog
index 2f633ac..d413e6d 100644
--- a/debian/changelog
+++ b/debian/
Author: smimram
Date: Tue Feb 24 17:06:05 2009
New Revision: 6246
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6246
Log:
Switch camlidl packaging to Git
Added:
trunk/packages/camlidl/trunk/README
Removed:
trunk/packages/camlidl/trunk/debian/
trunk/packages/camlidl/upstrea
The annotated tag, debian/1.04-2 has been created
at af125d3d77c0e23d5dab95b0a9b89bf38bde1978 (tag)
tagging 5344f69989a157fead40a7afec9046d7be89702c (commit)
replaces debian/1.04-1
tagged by Samuel Mimram
on Tue Feb 24 17:54:38 2009 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit 5344f69989a157fead40a7afec9046d7be89702c
Author: Samuel Mimram
Date: Tue Feb 24 17:52:52 2009 +0100
Uploading to unstable.
diff --git a/debian/changelog b/debian/changelog
index 27e380b..4988047 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 3abd2c0ba44ebefdd82cf5d8e88eefe63d977434
Author: Samuel Mimram
Date: Tue Feb 24 17:49:16 2009 +0100
Use dh-ocaml's predefined variables.
diff --git a/debian/changelog b/debian/changelog
index d2d9e33..27e380b 100644
--- a/de
The annotated tag, debian/0.22-5 has been created
at 8926b6e2429fed762dc3a8c2e7e2574e0ccd8e29 (tag)
tagging 1889dd9bad36bfca578ccaa887c1d2b25df811d5 (commit)
replaces debian/0.22-4
tagged by Samuel Mimram
on Tue Feb 24 17:42:17 2009 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit 1889dd9bad36bfca578ccaa887c1d2b25df811d5
Author: Samuel Mimram
Date: Tue Feb 24 17:36:51 2009 +0100
Uploading to unstable.
diff --git a/debian/changelog b/debian/changelog
index a9b5efb..7195af6 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit 939343db428e04678d4409d9581d41ff6191f649
Author: Samuel Mimram
Date: Tue Feb 24 16:50:11 2009 +0100
Use dh-ocaml + update.
diff --git a/debian/changelog b/debian/changelog
index 1e431bc..a9b5efb 100644
--- a/debian/changelog
The annotated tag, debian/20090204.dfsg-2 has been created
at 74cde76d8275c8fc70eacb22542550c6b026df6e (tag)
tagging 9c99f1862f9479383fed61a159cf8e82f4a08d48 (commit)
replaces debian/20090204.dfsg-1
tagged by Samuel Mimram
on Tue Feb 24 17:40:20 2009 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit 9c99f1862f9479383fed61a159cf8e82f4a08d48
Author: Samuel Mimram
Date: Tue Feb 24 17:38:07 2009 +0100
Uploading to unstable.
diff --git a/debian/changelog b/debian/changelog
index 3bd8f33..a81b177 100644
--- a/debian/changelog
Author: smimram
Date: Tue Feb 24 15:41:52 2009
New Revision: 6245
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6245
Log:
Switch numerix packaging to Git
Added:
trunk/packages/numerix/trunk/README
Removed:
trunk/packages/numerix/build-area/
trunk/packages/numerix/trunk/deb
The following commit has been merged in the master branch:
commit f9f5d3e1f47e6a96bbdc3f87a9db70e4b61e91c4
Author: Mehdi Dogguy
Date: Tue Feb 24 15:23:40 2009 +0100
no need to strip
diff --git a/debian/rules b/debian/rules
index ae58f80..0ac68e9 100755
--- a/debian/rules
+++ b/debian/rules
The following commit has been merged in the master branch:
commit 62d5fadbbbeb9ade493011e6189fe100557cd5ec
Author: Mehdi Dogguy
Date: Tue Feb 24 15:18:12 2009 +0100
why-examples depends now on why and libwhy-coq
diff --git a/debian/control b/debian/control
index 365f49b..6a6ac80 100644
---
The following commit has been merged in the master branch:
commit b5d4fe4ad82f7908fcd3586ae5d1a3fbe27cce72
Author: Mehdi Dogguy
Date: Tue Feb 24 15:17:43 2009 +0100
jessie_why.v was installed twice, now in libwhy-coq
diff --git a/debian/rules b/debian/rules
index c3ded1a..01aaa92 100755
--
The following commit has been merged in the master branch:
commit b00523b7fdde9550327793a5a7a7c2c8dcd7646b
Author: Mehdi Dogguy
Date: Tue Feb 24 14:00:49 2009 +0100
Remove leading space from description
diff --git a/debian/control b/debian/control
index dd357a3..365f49b 100644
--- a/debian
The following commit has been merged in the master branch:
commit 0f6ad6f2c0d964d83e1b63b6083269849e65d6f9
Author: Mehdi Dogguy
Date: Tue Feb 24 13:56:00 2009 +0100
Fix typo : COQABI -> COQ_ABI
diff --git a/debian/rules b/debian/rules
index 7acd735..c3ded1a 100755
--- a/debian/rules
+++ b/
The following commit has been merged in the master branch:
commit ff42da6593b89e7419772c81ec44bef25d6bcc1a
Author: Mehdi Dogguy
Date: Tue Feb 24 13:55:37 2009 +0100
Using dh_prep instead of dh_clean -k
diff --git a/debian/rules b/debian/rules
index c1d460f..7acd735 100755
--- a/debian/rule
The following commit has been merged in the master branch:
commit 1516e451c10bfaed08fd41931e409dcb88a8ad4a
Author: Mehdi Dogguy
Date: Tue Feb 24 11:36:29 2009 +0100
changelog update
diff --git a/debian/changelog b/debian/changelog
index 8798cb5..fbd11ed 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit 07a50e199afa887809a2843b6fe46cbca6773e2f
Author: Mehdi Dogguy
Date: Tue Feb 24 11:36:13 2009 +0100
New binary package libwhy-coq which is suggested by why
diff --git a/debian/control b/debian/control
index 2d1ccc2..dd357a3 1
The following commit has been merged in the master branch:
commit c858f35a572a66ff54bfc907c3c0a39157dbb65e
Author: Mehdi Dogguy
Date: Tue Feb 24 11:34:47 2009 +0100
newline
diff --git a/debian/why.dirs b/debian/why.dirs
index 1ee4cf6..4d1740f 100644
--- a/debian/why.dirs
+++ b/debian/why.d
The following commit has been merged in the master branch:
commit c51d4bea879020c21da31eae4bc703c0d9684f0e
Author: Mehdi Dogguy
Date: Tue Feb 24 11:33:24 2009 +0100
New files libwhy-coq and why-examples.dirs
diff --git a/debian/libwhy-coq.dirs b/debian/libwhy-coq.dirs
new file mode 100644
The following commit has been merged in the master branch:
commit 3df9fab26d7f614732338a615ea965f0816b0957
Author: Mehdi Dogguy
Date: Tue Feb 24 11:32:44 2009 +0100
Move {dirs,links} to why.{dirs,links}
diff --git a/debian/docs b/debian/why.docs
similarity index 100%
rename from debian/doc
The annotated tag, debian/5.10-2 has been created
at 7fcebc5b42ff4a1bc098504653e92ce170799cd2 (tag)
tagging b7e61d34bb411867b9394e7678e3647bc95e50f7 (commit)
replaces debian/5.10-1
tagged by Stefano Zacchiroli
on Tue Feb 24 14:32:19 2009 +0100
- Shortlog
The annotated tag, debian/5.10-3 has been created
at dc5dab2defb306f3b1f942cb1f7f7ccd85334050 (tag)
tagging 2514fc65d073429519d79e8e22669362b67c8f57 (commit)
replaces debian/5.10-2
tagged by Stefano Zacchiroli
on Tue Feb 24 15:02:03 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 0084e4b8100b34296ce1bbd948914ca600d3e7cc
Author: Stefano Zacchiroli
Date: Tue Feb 24 14:48:37 2009 +0100
version (back) ocaml-compiler-libs build-dep
diff --git a/debian/control b/debian/control
index 41706cd..9b1e72c 100644
The following commit has been merged in the master branch:
commit 2514fc65d073429519d79e8e22669362b67c8f57
Author: Stefano Zacchiroli
Date: Tue Feb 24 14:57:22 2009 +0100
debian/copyright: reference GPL-3 file for packaging license
diff --git a/debian/changelog b/debian/changelog
index a78
The following commit has been merged in the master branch:
commit b7e61d34bb411867b9394e7678e3647bc95e50f7
Author: Stefano Zacchiroli
Date: Tue Feb 24 14:26:46 2009 +0100
bump debhelper compatibility level to 7
diff --git a/debian/changelog b/debian/changelog
index 54eaeca..dfcb3b1 100644
The following commit has been merged in the master branch:
commit 146731c6bcb857d583881e8d3ea1c78946893efa
Author: Stefano Zacchiroli
Date: Tue Feb 24 14:26:11 2009 +0100
porting to latest dh-ocaml
diff --git a/debian/changelog b/debian/changelog
index 267c226..54eaeca 100644
--- a/debian/
The following commit has been merged in the master branch:
commit 32e55e5d1dbce7e444bda9b084add3eeb166496c
Author: Stefano Zacchiroli
Date: Tue Feb 24 14:21:49 2009 +0100
port to latest dh-ocaml
* debian/rules: use ocaml.mk as a "rules" makefile snippet, bump
build-dep on dh-
The annotated tag, debian/1.2.4-1 has been created
at 3e6d4fd830535f8a26929eafffe5e337586cdee4 (tag)
tagging a142f5feafdf09c066e0e86660fe991883ebdb24 (commit)
replaces debian/1.2.3-1
tagged by Stefano Zacchiroli
on Tue Feb 24 14:08:36 2009 +0100
- Shortlog --
The following commit has been merged in the master branch:
commit a142f5feafdf09c066e0e86660fe991883ebdb24
Author: Stefano Zacchiroli
Date: Tue Feb 24 14:06:17 2009 +0100
debian/source.lintian-overrides: fix typo in the tag name (which inhibited
the override to work)
diff --git a/debian/c
The following commit has been merged in the master branch:
commit fbacf8099ee4328e84f3706ad32fda41ac37e327
Author: Stefano Zacchiroli
Date: Tue Feb 24 13:55:37 2009 +0100
uploading to unstable
diff --git a/debian/changelog b/debian/changelog
index 816971a..e93995d 100644
--- a/debian/chang
The following commit has been merged in the master branch:
commit 67417f3f8636c9c460dcd6c42ceda3ad48340f7f
Author: Mehdi Dogguy
Date: Tue Feb 24 13:42:37 2009 +0100
Add variable OCAML_RUNTIME_NOX
diff --git a/debian/changelog b/debian/changelog
index fdcc035..e4ae35f 100644
--- a/debian/ch
The following commit has been merged in the master branch:
commit abe2dd95a11e2faaffc97bb371310d3737a9ee36
Author: Mehdi Dogguy
Date: Tue Feb 24 13:40:45 2009 +0100
Adding OCAML_RUNTIME_NOX
diff --git a/share/ocamlvars.mk b/share/ocamlvars.mk
index ae99abf..a4364ae 100644
--- a/share/ocaml
The following commit has been merged in the master branch:
commit 5c76c55ab0484a17fa14ba96fac6b2bc00e9a1a5
Author: Mehdi Dogguy
Date: Tue Feb 24 13:32:52 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 4484a11..fdcc035 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit b6f4c07333950add79d03896573afb42c903effe
Merge: e8e39ff18f8b6b6d295964fa81a61932a0a27bc9
e315223bda1857369e9220d31aa2dea43fd9d125
Author: Mehdi Dogguy
Date: Tue Feb 24 13:30:25 2009 +0100
Merge branch 'master' of
git+ssh://
The following commit has been merged in the master branch:
commit e8e39ff18f8b6b6d295964fa81a61932a0a27bc9
Author: Mehdi Dogguy
Date: Tue Feb 24 13:30:08 2009 +0100
Add variable OCAML_RUNTIME
diff --git a/share/ocamlvars.mk b/share/ocamlvars.mk
index d7b2719..ae99abf 100644
--- a/share/oca
The following commit has been merged in the master branch:
commit b096995b0c985d0b900aead1c6a569377902dec2
Author: Mehdi Dogguy
Date: Tue Feb 24 10:48:59 2009 +0100
Initial changelog ≃ empty changelog
diff --git a/debian/changelog b/debian/changelog
index 78f4557..f003507 100644
--- a/debi
The annotated tag, debian/0.8-1 has been deleted
was a5cd8f7f54affd5bb80add4db2e72810c7cf112a
---
tag debian/0.8-1
Tagger: Samuel Mimram
Date: Thu Jan 8 10:31:41 2009 +0100
Debian release 0.8-1
555f19293c2ef532d2d820d2
The following commit has been merged in the master branch:
commit 615b3971d0100011b5f9634b54faa53c3f697275
Author: Mehdi Dogguy
Date: Tue Feb 24 10:34:53 2009 +0100
Changelog update
diff --git a/debian/changelog b/debian/changelog
index 437c25c..78f4557 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit 0c06064fa63e953d0aeec988569fdf52aadbddb0
Author: Mehdi Dogguy
Date: Tue Feb 24 10:34:43 2009 +0100
Use dh-ocaml predefined variables
diff --git a/debian/rules b/debian/rules
index 561cd07..ae58f80 100755
--- a/debian/rules
+
The following commit has been merged in the master branch:
commit db2798c6c0181fac29926efce3cbee8dbcfb2a38
Author: Mehdi Dogguy
Date: Tue Feb 24 10:34:15 2009 +0100
Add alt-ergo.install file
diff --git a/debian/alt-ergo.install b/debian/alt-ergo.install
new file mode 100644
index 000..
The following commit has been merged in the master branch:
commit 8478821ed8efbb77f2f8ac17684e9cd083bc184b
Author: Mehdi Dogguy
Date: Tue Feb 24 10:33:54 2009 +0100
Add licences where needed
diff --git a/debian/copyright b/debian/copyright
index 701557e..b1a3572 100644
--- a/debian/copyrig
The following commit has been merged in the master branch:
commit c595582ba5e510ab57ad33516bbf8d399e333400
Author: Mehdi Dogguy
Date: Tue Feb 24 10:33:28 2009 +0100
Use debhelper 7, ocaml 3.11 and add dh-ocaml to build-dep
diff --git a/debian/control b/debian/control
index 4d805d8..9c46c77
The following commit has been merged in the master branch:
commit 2f66d676a749d82497fd117c1d1496e59bc2f5cb
Author: Samuel Mimram
Date: Tue Feb 24 09:58:57 2009 +0100
Added url_slashes.dpatch to correct a vulnerability.
diff --git a/debian/changelog b/debian/changelog
index 89cf36e..615cabd
The following commit has been merged in the master branch:
commit 5d511aa2c78aebaf84d470d4795ef2febca4cb9a
Author: Samuel Mimram
Date: Tue Feb 24 09:52:22 2009 +0100
Pass --debconf-ok option to ucf.
diff --git a/debian/changelog b/debian/changelog
index 2dbd2c4..89cf36e 100644
--- a/debian
The following commit has been merged in the master branch:
commit e315223bda1857369e9220d31aa2dea43fd9d125
Author: Samuel Mimram
Date: Tue Feb 24 09:31:40 2009 +0100
Correct changelog entry.
diff --git a/debian/changelog b/debian/changelog
index 63af5ab..4484a11 100644
--- a/debian/changel
92 matches
Mail list logo
