The following commit has been merged in the master branch:
commit 02945471405f3a3bc851273055b795c4e38ca8be
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 26 14:29:42 2009 +0100
More comments for new variables
diff --git a/share/ocamlvars.mk b/share/ocamlvars.mk
index
Author: glondu-guest
Date: Thu Feb 26 13:46:56 2009
New Revision: 6264
URL: http://svn.debian.org/wsvn/?sc=1rev=6264
Log:
Use also Build-Depends-Indep, add cron target
Modified:
trunk/tools/ocaml_transition_monitor/Makefile
The following commit has been merged in the master branch:
commit 73a87cd345dc4605e174170336ea6451a7071975
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 26 14:44:00 2009 +0100
Renaming: OCAMLRUN - OCAML_RUNTIME_NOX
diff --git a/debian/rules b/debian/rules
index af7efcf..b1fc463
The following commit has been merged in the master branch:
commit b9c8e3cf7e6d833e2bff27a2a92b14d0ad5ecd63
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 26 15:03:10 2009 +0100
Fix installation problem
diff --git a/debian/alt-ergo.install b/debian/alt-ergo.install
deleted file
The following commit has been merged in the master branch:
commit 72993ee301ce3c951c14c0cbbb870e961e42b976
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 26 15:03:43 2009 +0100
Fix lintian's versionless-license-file
diff --git a/debian/copyright b/debian/copyright
index
The following commit has been merged in the master branch:
commit 6689a1d318d2aa3e698455b66d0e26625d1aa918
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Thu Feb 26 15:07:55 2009 +0100
fix typo
diff --git a/share/ocamlvars.mk b/share/ocamlvars.mk
index d4059ae..2c413eb 100644
---
Author: glondu-guest
Date: Thu Feb 26 16:54:18 2009
New Revision: 6266
URL: http://svn.debian.org/wsvn/?sc=1rev=6266
Log:
Add the possibility to filter by status
Added:
trunk/tools/ocaml_transition_monitor/ocaml_transition_monitor.js
Modified:
Author: glondu-guest
Date: Thu Feb 26 17:27:22 2009
New Revision: 6267
URL: http://svn.debian.org/wsvn/?sc=1rev=6267
Log:
XHTML validity (and shameless advertising)
Modified:
trunk/tools/ocaml_transition_monitor/ocaml_transition_monitor.mll
Modified:
The following commit has been merged in the master branch:
commit 0a220ea4714bff72f0fb2b27ae8de7bc45561900
Author: Stephane Glondu st...@glondu.net
Date: Thu Feb 26 19:09:54 2009 +0100
Add missing Conflicts and Replaces (Closes: #517107)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 491b908eaa74745d36243c2e40378255fa049d8f
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 19:21:17 2009 +0100
update build-deps
diff --git a/debian/changelog b/debian/changelog
index 7642ca2..e91ba44 100644
---
The following commit has been merged in the master branch:
commit 8a7cd0d3e8ca5571ea86c7d8c7ce7034f9055b1c
Merge: fd0ab32408ad51bae0f2f9616bf1560a9e2776b6
31f3ca07c18885e924516b5e722e8d8cbe5712f2
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 19:23:10 2009 +0100
Merge branch
The following commit has been merged in the master branch:
commit 057fefee4566ffa937a15aac2fe40abe7cb9a434
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 18:35:06 2009 +0100
uploading to unstable
diff --git a/debian/changelog b/debian/changelog
index f3ad8eb..e1e2f6f 100644
The following commit has been merged in the master branch:
commit 568e7d4574b9e9ff7b2795f2d2ebb30b65639f2e
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 19:15:02 2009 +0100
switch build dep from camlp5 to camlp4, now we built against that
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 019ab6477a0ad2db0b68e4a900564f850330d602
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 19:15:55 2009 +0100
cosmetic changes in dep alignment
diff --git a/debian/control b/debian/control
index 90e666c..6de16d6
The following commit has been merged in the master branch:
commit 8b533c2e66103a7a2c209e190412991d1f00
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 19:17:45 2009 +0100
drop obsolete versioned build-deps
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/0.2.1-6 has been created
at fef372ca76cb692647733e7aeb727010cee63040 (tag)
tagging 8a7cd0d3e8ca5571ea86c7d8c7ce7034f9055b1c (commit)
replaces debian/0.2.1-5
tagged by Stefano Zacchiroli
on Thu Feb 26 19:26:23 2009 +0100
- Shortlog
Author: dogguy-guest
Date: Thu Feb 26 21:11:20 2009
New Revision: 6268
URL: http://svn.debian.org/wsvn/?sc=1rev=6268
Log:
Disable unknown by default and add id field for source cell
Modified:
trunk/tools/ocaml_transition_monitor/ocaml_transition_monitor.js
The following commit has been merged in the master branch:
commit 7f84293c5cd17925e4c3a56ba4a37e023a5bc2c7
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 22:32:31 2009 +0100
debian/rules: use ocaml.mk as a CDBS rules snippet
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 1cd9b216435df13c4807898a6e0c40867ea445af
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 22:33:57 2009 +0100
upload to unstable
diff --git a/debian/changelog b/debian/changelog
index ce7f435..52c8a22 100644
---
The following commit has been merged in the master branch:
commit f6183c865d908a9fa87ae8d6b196a59e172ef129
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 23:02:51 2009 +0100
bump standards version to 3.8.0 (no changes needed)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 8258e453ec20461f2af4f99a9589e2ada35df1f3
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 23:03:53 2009 +0100
bump debhelper compatibility level to 7
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 7b7f25970bab7a0549deff9d4aa51d522a87ee19
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 23:05:04 2009 +0100
use ocaml.mk as a CDBS rules snippet
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 8969a9245800049a4d1a853c243dcec36b2a18fe
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 23:14:59 2009 +0100
upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 17fd13e..52ccd2a 100644
---
The following commit has been merged in the master branch:
commit c79c963bb6e9fd9554d2ac8eb4e3b0a78f600e49
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 23:26:03 2009 +0100
debian/rules: use ocaml.mk as a CDBS rules snippet
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 5682cc820e261ceba117c65b0f5f42a9d109c299
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Thu Feb 26 23:24:39 2009 +0100
bump build-deps to avoid spurious build failures in unstable
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 64b465397b58a7abfbc71f5f0acb4f7c1bc5e795
Author: Samuel Mimram samuel.mim...@ens-lyon.org
Date: Thu Feb 26 23:32:42 2009 +0100
Rebuild with OCaml 3.11.
diff --git a/debian/changelog b/debian/changelog
index 6299649..c1bca57
The following commit has been merged in the master branch:
commit 92a487b23b92c5fdee50e03ebf81438e7b0ab77c
Author: Samuel Mimram samuel.mim...@ens-lyon.org
Date: Thu Feb 26 23:52:06 2009 +0100
Updated package.
diff --git a/debian/changelog b/debian/changelog
index c5bb2c8..d7e0a09 100644
The following commit has been merged in the master branch:
commit f0ed5ddab25760a468062250fcc3ec38081e3a14
Author: Samuel Mimram samuel.mim...@ens-lyon.org
Date: Thu Feb 26 23:54:46 2009 +0100
Upload to unstable.
diff --git a/debian/changelog b/debian/changelog
index 9360407..29ff992
The annotated tag, debian/0.5.0-1 has been created
at 988bd7ee367dade2328f8157ab80aa403758e760 (tag)
tagging f0ed5ddab25760a468062250fcc3ec38081e3a14 (commit)
replaces debian/0.4.1-1
tagged by Samuel Mimram
on Thu Feb 26 23:56:00 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 3ad54edfc9c7afa1b8d1719cf8e57adcd325d8eb
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Fri Feb 27 00:17:48 2009 +0100
add patch camlp4-workarounds to workaround a camlp4 regression
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 6d976562a183d9c51370d0a0257c189c39996c09
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Fri Feb 27 00:18:29 2009 +0100
add a closes entry for the struct ucred bug
diff --git a/debian/changelog b/debian/changelog
index
31 matches
Mail list logo
