The following commit has been merged in the master branch:
commit cc5dc8554076ef0b224c4cbede361e4684960099
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 08:01:43 2009 +0100
Various fixes
diff --git a/debian/rules b/debian/rules
index 9077194..e68e74f 100755
--- a/debian/rules
The following commit has been merged in the master branch:
commit 2a81b94e3e2b6173f800b672ae4f440c172ebae6
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 08:02:16 2009 +0100
Generate manpages for stdlib on bytecode-only architectures
These are generated by the opt.opt
The following commit has been merged in the master branch:
commit 68344807279eab5eb1405583ccb3dbcf5974d542
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 09:00:20 2009 +0100
Tell debhelper to ignore ocaml-native-compilers on byte-only architectures
diff --git a/debian/rules
The following commit has been merged in the master branch:
commit a8babdb4eeb0f34d55aa27fb897fac31d3812c6a
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 09:47:19 2009 +0100
Add lpia (from Ubuntu) to the list of native architectures
diff --git a/debian/native-archs
The following commit has been merged in the master branch:
commit 118be37f682309a141ae3ad96e93041a35de6d80
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 09:49:06 2009 +0100
Update control and control.in and fix generation of control
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit fd1fa81105eaa5909950504e0f1f1f1f24917fae
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 09:53:26 2009 +0100
Update changelog
diff --git a/debian/changelog b/debian/changelog
index db9533f..8273c18 100644
---
The following commit has been merged in the master branch:
commit 68ca4f1fbff2f6810380fa1b759b6d90c363e7d8
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:08:58 2009 +0100
Add variable OCAML_BEST in ocamlvars.mk, Add myself to uploaders
diff --git a/debian/control
The following commit has been merged in the master branch:
commit 947ba222fb59625da4f98c8c4ac37fe6d0789f25
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:09:14 2009 +0100
changelog update
diff --git a/debian/changelog b/debian/changelog
index f356bfc..38277e2 100644
---
The following commit has been merged in the master branch:
commit ed0e411063cdc7aa389adc525e7491d9921522ee
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:22:56 2009 +0100
Remove extra whitespaces
diff --git a/share/ocamlvars.mk b/share/ocamlvars.mk
index 06417d0..75ad992
The following commit has been merged in the master branch:
commit 050be647272e5719670a65f702af53a797a259ac
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:20:57 2009 +0100
Use predefined variable OCAML_BEST (dh-ocaml = 0.3)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 85357f10eb3cbdb70ec9eb50992cb1fcba0f5b7e
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 10:32:08 2009 +0100
The opposite is better
diff --git a/debian/rules b/debian/rules
index 5096bca..a44e2b8 100755
---
The following commit has been merged in the master branch:
commit 1ed60c6ab41ed4f64e36136c856d2b3efe32c150
Author: Samuel Mimram samuel.mim...@ens-lyon.org
Date: Fri Feb 20 10:36:21 2009 +0100
Add variable OCAML_OCAMLDOC in ocamlvars.mk to get the best ocamldoc for
the architecture.
diff
The following commit has been merged in the master branch:
commit 35e8983039d352f267654a8c461d27ff4480d782
Author: Samuel Mimram samuel.mim...@ens-lyon.org
Date: Fri Feb 20 10:38:09 2009 +0100
Use the OCAML_OCAMLDOC variable to get the best ocamldoc.
diff --git a/debian/changelog
Author: smimram
Date: Fri Feb 20 09:46:43 2009
New Revision: 6215
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6215
Log:
Switch pagodacf packaging to Git
Added:
trunk/packages/pagodacf/trunk/README
Removed:
trunk/packages/pagodacf/trunk/debian/
The following commit has been merged in the master branch:
commit 4370374fe641fbf0a331fd39a62ecee0f467ddb7
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 09:59:47 2009 +0100
Prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
index 8273c18..657fae8
The following commit has been merged in the master branch:
commit b093d6974ff39baca12969bf56086c452e9eaa3a
Author: Stephane Glondu st...@glondu.net
Date: Wed Aug 6 18:23:26 2008 +0200
Create doc directory before build
diff --git a/debian/rules b/debian/rules
index b76204f..d3de05d 100755
The following commit has been merged in the master branch:
commit dd895a47313f2441eaa8f678f4c5d78783324d51
Author: Stephane Glondu st...@glondu.net
Date: Wed Aug 6 18:21:08 2008 +0200
Add Provides: httpd, httpd-cgi
diff --git a/debian/changelog b/debian/changelog
index ae845e9..68f29df
The annotated tag, debian/3.11.0-4 has been created
at f6e3ab6df9319aafcc33b87ea2a891f9b3656358 (tag)
tagging 4370374fe641fbf0a331fd39a62ecee0f467ddb7 (commit)
replaces debian/3.11.0-3
tagged by Stephane Glondu
on Fri Feb 20 10:00:16 2009 +0100
- Shortlog
The following commit has been merged in the master branch:
commit 7696c0afa22fd9d63047a9af2b634cb0e5897d23
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 13:13:06 2009 +0100
Use Debian changelog to determine COQ_VERSION
diff --git a/debian/rules b/debian/rules
index
The following commit has been merged in the master branch:
commit 72851683d176c05e44c56fea593c73e4691d3450
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 13:17:59 2009 +0100
Use ocamlinit.mk
diff --git a/debian/rules b/debian/rules
index 8b587ea..6d55d2c 100755
---
The following commit has been merged in the master branch:
commit 0a402bcc74943503556478c1e2dc924f27d2a3d3
Author: Stephane Glondu st...@glondu.net
Date: Fri Feb 20 13:22:06 2009 +0100
Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abi
diff --git a/debian/coqvars.mk
The following commit has been merged in the master branch:
commit 3e278fa6f5b2c304165e081a325ee054db4fed97
Author: Samuel Mimram smim...@debian.org
Date: Fri Feb 20 15:24:58 2009 +0100
Install CSS for stdlib documentation.
diff --git a/debian/coq-theories.links b/debian/coq-theories.links
The following commit has been merged in the master branch:
commit 76018532b0a90f0d9951589d277d95af85e4cd2a
Merge: 3e278fa6f5b2c304165e081a325ee054db4fed97
9603746faaccf85ee2e95570d2a0fb0a74a2aa1b
Author: Samuel Mimram smim...@debian.org
Date: Fri Feb 20 15:26:56 2009 +0100
Merge branch
The following commit has been merged in the master branch:
commit a005d865cee494be71af33d1ed22ce022b0ff38c
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 17:38:43 2009 +0100
They are already defined in ocamlvars.mk
diff --git a/debian/rules b/debian/rules
index
The following commit has been merged in the master branch:
commit 6fb02c1ce54ae01815c7ef919e17cc8b708f60bf
Author: Mehdi Dogguy dog...@pps.jussieu.fr
Date: Fri Feb 20 17:39:02 2009 +0100
Use the one defined in ocamlvars.mk
diff --git a/debian/rules b/debian/rules
index 4912c4b..9bdb596
The following commit has been merged in the master branch:
commit f250c68edc2c8a10d93217ddbe1711505e98d2b1
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Fri Feb 20 23:38:58 2009 +0100
rework toward future migrations
* bump debhelper compatibility level to 7
- simplify
The following commit has been merged in the master branch:
commit f31cb976d11c819cb7f31fd84ec9f5912bdfdefc
Author: Stefano Zacchiroli z...@upsilon.cc
Date: Sat Feb 21 00:05:07 2009 +0100
debian/*.install.in: avoid specifying debian/tmp/ (is default now)
diff --git a/debian/changelog
Author: glondu-guest
Date: Sat Feb 21 00:22:14 2009
New Revision: 6216
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1rev=6216
Log:
Switch perl4caml packaging to Git
Added:
trunk/packages/perl4caml/trunk/README
Removed:
trunk/packages/perl4caml/trunk/debian/
The following commit has been merged in the master branch:
commit b21d4fd0db0f9425acfd6b0eb2e159463e498818
Author: Marc 'HE' Brockschmidt h...@debian.org
Date: Fri May 9 11:19:11 2008 +0200
Imported Debian patch 0.9.3-8.1
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit 19afc82a32f76451faca38b323ad4c44824533ac
Merge: b21d4fd0db0f9425acfd6b0eb2e159463e498818
14139e88024973b63737e87052cce024826284b6
Author: Stephane Glondu st...@glondu.net
Date: Sat Feb 21 01:33:43 2009 +0100
Merge changes
The annotated tag, debian/0.9.3-8.1 has been created
at 038f537c92ea7dc1a2cae4eaf0ffbdf36484b7c1 (tag)
tagging b21d4fd0db0f9425acfd6b0eb2e159463e498818 (commit)
replaces debian/0.9.3-8
tagged by Stephane Glondu
on Sat Feb 21 01:27:08 2009 +0100
- Shortlog
31 matches
Mail list logo
