The branch, master has been created
at 7d12286143751b7e6ff947ba8407fb86f43e95a9 (commit)
- Shortlog
commit 7d12286143751b7e6ff947ba8407fb86f43e95a9
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu May 8 18:52:16 2008 +0200
The branch, pristine-tar has been created
at 495c0da0229574849d65c884919ebaad4a726894 (commit)
- Shortlog
commit 495c0da0229574849d65c884919ebaad4a726894
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu May 8 18:52:17 2008
The following commit has been merged in the master branch:
commit 4ef4eff5618af006886fee1e6921b268054adfe2
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jun 10 14:55:30 2008 +0200
Set up build system
diff --git a/debian/libpam-ocaml-dev.docs b/debian/libpam-ocaml-dev.docs
new file
The following commit has been merged in the master branch:
commit 85e8865a036ec90e5c5ca928f6acf73383f48c60
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jun 10 14:32:26 2008 +0200
Improve the Makefile
* Provide a META file
* Add install target
* Use ocamlmklib so
The following commit has been merged in the master branch:
commit 8d7d4b4607309b41ebae6a319f4954d96bfb525c
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jun 10 15:05:24 2008 +0200
Install shared stubs
diff --git a/debian/libpam-ocaml.install.in b/debian/libpam-ocaml.install.in
new
The branch, upstream+patches has been created
at 1232f7d1f064b374bda7d2347842da3e846dae1a (commit)
- Shortlog
commit 1232f7d1f064b374bda7d2347842da3e846dae1a
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jun 10 14:32:26
The following commit has been merged in the master branch:
commit ab724c329a7f966bf0ea4a15bfb3fc5c27853be5
Merge: b01dbbf626b0f8f589827a38066c3edbeef7c323
5dbaf12cacf0508061ca2f1496b354868185f81e
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jun 10 21:44:29 2008 +0200
Merge branch
The following commit has been merged in the master branch:
commit eac5b3c7eabfa5bb83258c4f4dee8e04e4619104
Merge: b1bbbd8095f4ccdf2bfacf1fe6d58892038eebe9
4590ca9ffc11df3b1e5402784b49b78b6ce35591
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Jun 15 01:24:52 2008 +0200
Merge branch
The following commit has been merged in the master branch:
commit a9aa9fc884fa33f365817fa541a7a40f75465694
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Jun 15 01:33:23 2008 +0200
New upstream release
The two patches have been included upstream.
diff --git a/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit 6c6c5cfdafc18df1a04514c1d0938abc4c83716d
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Jun 15 01:40:32 2008 +0200
pristine-tar data for ocamlpam_1.1.orig.tar.gz
diff --git a/ocamlpam_1.1.orig.tar.gz.delta b
The following commit has been merged in the master branch:
commit 4c6148a41eae76b40a1d496ac737f94b3490f2a6
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jun 16 17:21:17 2008 +0200
Switch to machine-parsable copyright file format
See http://wiki.debian.org/Proposals
The tag, upstream/1.0 has been created
at 7d12286143751b7e6ff947ba8407fb86f43e95a9 (commit)
- Shortlog
commit 7d12286143751b7e6ff947ba8407fb86f43e95a9
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu May 8 18:52:16 2008
The branch, master has been created
at 56da407aafa2254c2b4f47213dc5011960b3ee6f (commit)
- Shortlog
commit 56da407aafa2254c2b4f47213dc5011960b3ee6f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Jun 27 00:34:50 2008
The branch, pristine-tar has been created
at 50e4a4c3e0b7a8dad50c875411ecc52e55eacf63 (commit)
- Shortlog
commit 50e4a4c3e0b7a8dad50c875411ecc52e55eacf63
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Jun 27 00:34:51
The following commit has been merged in the master branch:
commit d0f6f5522c948060270a86db30fe3830e45e47ba
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sat Jul 5 09:20:08 2008 +0200
Document patch and prepare for new release
diff --git a/debian/changelog b/debian/changelog
index 869de71
The branch, upstream+patches has been created
at 17d1acec8a6429e8d5b0573055c6b95702ca0741 (commit)
- Shortlog
---
--
OCaml bindings for the PAM library
The annotated tag, debian/1.1-2 has been created
at 9bc7085697713b35998e64ca4aba89f9a983e3b9 (tag)
tagging d0f6f5522c948060270a86db30fe3830e45e47ba (commit)
replaces debian/1.1-1
tagged by Stephane Glondu
on Sat Jul 5 11:21:53 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 215dc297a719e0a18cc895b5ca94855b00388c2f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 11:25:51 2008 +0200
First steps to switching packaging to git
diff --git a/debian/changelog b/debian/changelog
index 27009b2
The following commit has been merged in the master branch:
commit c8bdd9e0fc12634749a2d0c7c5f678c49f7747dc
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 13:56:53 2008 +0200
Copy config.{sub,guess} in pre-config phase instead of clean
diff --git a/debian/rules b/debian/rules
The following commit has been merged in the master branch:
commit 18ff77549b29e1de14a3bff88ce536ce5b848b5f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 14:14:56 2008 +0200
Remove stray script remaining from svn2git conversion
diff --git a/ocaml-tags-svn2git.sh b/ocaml-tags
The following commit has been merged in the master branch:
commit 910fc7f880da1d419a3fb6be18998a21199c268f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 14:33:09 2008 +0200
Bump debhelper compatibility level to 7
* use debian/clean for cleaning upstream files
The following commit has been merged in the master branch:
commit fef041704f0ae52f203fe1de6cac9bde891fbb21
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 8 14:36:05 2008 +0200
Clean more files
diff --git a/debian/clean b/debian/clean
index e2d10dd..22a7a76 100644
--- a/debian
The following commit has been merged in the master branch:
commit b25a42f4d7fde493ac1bd613aa4716858e637176
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Jul 11 13:25:16 2008 +0200
Upload after erroneous removal from archive (no changes)
Request from Ganneff
diff --git
The annotated tag, debian/1.1.0-2 has been created
at da85ad4fbedc6e01f04d61c1f7eacab69f6491b8 (tag)
tagging b25a42f4d7fde493ac1bd613aa4716858e637176 (commit)
replaces debian/1.1.0-1
tagged by Stephane Glondu
on Fri Jul 11 13:26:11 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 4a1bcf4134c9e507170c0cd93342a4dc2852fccc
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Jul 20 01:01:46 2008 +0200
Restore emacs/ocamltags.in in clean
diff --git a/debian/rules b/debian/rules
index bb60df8..9417872
The following commit has been merged in the master branch:
commit 9b134429154bcf18439f13d39789e0e60592f915
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Jul 23 14:04:37 2008 +0200
Switching packaging to git
diff --git a/debian/changelog b/debian/changelog
index b54f1da..db7be49
The following commit has been merged in the master branch:
commit c1c60c4b08a911636e15cb1f1ae3a3a9667eafcd
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Jul 23 14:09:45 2008 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index db7be49..a336f66 100644
The following commit has been merged in the pristine-tar branch:
commit 3887c099bbb8c5a51a92a5f2c5ac6cb88554b6a5
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Jul 23 14:08:34 2008 +0200
pristine-tar data for ocsigen_1.1.0.orig.tar.gz
diff --git a/ocsigen_1.1.0.orig.tar.gz.delta b
The annotated tag, debian/1.1.0-1 has been created
at 82af68c638ebbb073c48164d5dada5d890003e8e (tag)
tagging c1c60c4b08a911636e15cb1f1ae3a3a9667eafcd (commit)
replaces debian/1.1.0.rc1-1
tagged by Stephane Glondu
on Wed Jul 23 15:00:27 2008 +0200
- Shortlog
The annotated tag, upstream/1.1.0 has been created
at f6c7ccaade81ec6702bb39aadbdd36dcc084379c (tag)
tagging 0e50ec60508734ad110a9668f5fd35a025c88477 (commit)
replaces upstream/1.1.0.rc1
tagged by Stephane Glondu
on Wed Jul 23 14:08:34 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit dd1436b569216c851c4b341a127a3a7a3bf3b633
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Jul 27 23:19:00 2008 +0200
Switch packaging to git
diff --git a/debian/control b/debian/control
index 80f80ec..b4a9920 100644
The following commit has been merged in the master branch:
commit dec29bbc89ac8d0152d8464294fe9d9c131016c9
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Jul 27 23:20:40 2008 +0200
Add myself to Uploaders, and DM-Upload-Allowed to control
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 8dd1802846b1f7a2304c7e63b2cf907d70f14fe1
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 11:44:01 2008 +0200
Fix typo in README.Debian
diff --git a/debian/README.Debian b/debian/README.Debian
index 685f604
The following commit has been merged in the master branch:
commit db0c2d0f86e7fb2153be13431641a2fad0babf90
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 11:48:45 2008 +0200
patch-stamp and configure-stamp are dependencies of build-stamp
This is needed for proper
The following commit has been merged in the master branch:
commit be8dd49cdf08dbeae0d6f36b717a54793418086b
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 15:55:17 2008 +0200
Install also *.cm[iox] files
diff --git a/debian/coq.install b/debian/coq.install
index 59bcb59..c0817f7
The following commit has been merged in the master branch:
commit 3113f65a3dd4bbe1833dcf78fb21abd958dcdb04
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 16:00:07 2008 +0200
ide/index_urls.txt is not there anymore
diff --git a/debian/rules b/debian/rules
index 1dc43f9..44dac55
The following commit has been merged in the master branch:
commit 10a7bc14dc87b57b022facbbbf3b31d74a4445e5
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 16:02:00 2008 +0200
Add install-stamp
...so that install is not invoked twice when binary-indep and
binary-arch
The following commit has been merged in the master branch:
commit d6c7661cea5a874663179d806199634b7c4076ed
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 16:02:40 2008 +0200
Fix building of (stdlib) doc
diff --git a/debian/rules b/debian/rules
index a9bd3b6..5151c91 100755
The following commit has been merged in the master branch:
commit cd46e5dd680be14a5f5401cfc00af3a7d2ad8847
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 16:15:16 2008 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index 1ecb0b0..7e71877 100644
The following commit has been merged in the master branch:
commit 284e68ace18db77fed501d3d64ff3cb54d44c02c
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Jul 28 17:10:05 2008 +0200
Create bin/ in configure instead of clean
...avoiding problems with clean run as root
diff
The following commit has been merged in the master branch:
commit 2dd9e5d0a163b95453d5dd78e8487bd48f9b220e
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Jul 29 23:08:08 2008 +0200
Set doc-base section to Science/Mathematics
diff --git a/debian/coq-libs.doc-base b/debian/coq-libs.doc
The following commit has been merged in the master branch:
commit c89cb94d7a781f5e4e8a315fc68dcc22b13021ae
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 16:58:47 2008 +0200
Add Homepage field
diff --git a/debian/control b/debian/control
index 88f17cf..d2550c6 100644
The following commit has been merged in the master branch:
commit 1c6c7c8ec1e78348cd8d1dd7b730450ab54d106f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 17:36:36 2008 +0200
Bump Standards-Version to 3.8.0
diff --git a/debian/control b/debian/control
index d2550c6..6df245e
The following commit has been merged in the master branch:
commit 7dd7c53d365a646aa4e93f944a17fbcb971ff604
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 17:33:20 2008 +0200
Add debian/README.source
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
The following commit has been merged in the master branch:
commit db4ea6ddcbeb0dea41267dc87a30b76a01e402af
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Jul 31 17:50:55 2008 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index 7e71877..677e23d 100644
The following commit has been merged in the master branch:
commit bd4bb27ee4f66b08434d9a199f00b04ccec34722
Merge: db4ea6ddcbeb0dea41267dc87a30b76a01e402af
870075f34dd9fa5792bfbf413afd3b96f17e76a0
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 13:18:48 2008 +0200
Merge commit
The following commit has been merged in the master branch:
commit 38db629f4be6f0a963b95a958a99bbe382b6b5d1
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 15:41:29 2008 +0200
Remove browser.dpatch and use --browser configure option
diff --git a/debian/patches/00list b/debian
The following commit has been merged in the master branch:
commit dbb8a5704033fb6990af449e29c6018286d4b044
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 13:28:00 2008 +0200
Disable compiling/installing doc
diff --git a/debian/rules b/debian/rules
index cd34b8b..8075e71 100755
The following commit has been merged in the master branch:
commit 9fd4621dcafc03b56c348a0342b2d172c065121d
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 15:25:39 2008 +0200
Add use-env-in-coq-config.dpatch
Use environment variables by default in coq_config.ml
The following commit has been merged in the master branch:
commit ad9b0fc2f2c0945eb48ae6d9cd7256b11dfd8792
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 16:47:33 2008 +0200
Remove Encoding from debian/coqide.desktop
...as complained by Lintian
diff --git a/debian
The following commit has been merged in the master branch:
commit a88339e768ad1c3c36250dff659120236b900cf0
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 16:48:51 2008 +0200
glob.dump is not there anymore
diff --git a/debian/rules b/debian/rules
index e50ad14..50a6e64 100755
The following commit has been merged in the master branch:
commit e6b699f7e1a1ba63c1eb7b7e63094cad633791a9
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 17:57:55 2008 +0200
Install csdpcert
diff --git a/debian/coq.install b/debian/coq.install
index c0817f7..0648440 100644
The following commit has been merged in the master branch:
commit ff20e3e9f517cba61a94103d62e284b214fe4d30
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 23:14:15 2008 +0200
Tune clean target of debian/rules
diff --git a/debian/rules b/debian/rules
index 50a6e64..7a986d9 100755
The following commit has been merged in the master branch:
commit 331f53499e751f658e32e2beb98336f454c5c0c2
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 23:20:12 2008 +0200
Update debian/changelog
diff --git a/debian/changelog b/debian/changelog
index 10148c5..48d98bb 100644
The following commit has been merged in the pristine-tar branch:
commit a1c63f0e8dc32cda4fbc81392128d30bcb8a2e2e
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 8 13:18:47 2008 +0200
pristine-tar data for coq_8.2~beta4+dfsg.orig.tar.gz
diff --git a/coq_8.2~beta4
The annotated tag, upstream/8.2.beta4+dfsg has been created
at e8b83c4c98f9c298496b8513cdce07dd8a162889 (tag)
tagging 870075f34dd9fa5792bfbf413afd3b96f17e76a0 (commit)
replaces upstream/8.2.beta3+dfsg
tagged by Stephane Glondu
on Fri Aug 8 13:18:47 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit dfb92f72bd3484d246cc241db865056393d39f47
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Aug 12 16:38:34 2008 +0200
Update debian/changelog
diff --git a/debian/changelog b/debian/changelog
index 48d98bb..92f7e99 100644
The following commit has been merged in the master branch:
commit c2b0b6213988a0592da8b773064949c637f8b64d
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 15 12:26:18 2008 +0200
Add non-native-archs.dpatch
Fix FTBFS on non-native architectures (Closes: #495165)
diff --git
The following commit has been merged in the master branch:
commit 745e0fb3b3bc4c435870f1af25c22d495fac9f29
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Aug 15 13:21:44 2008 +0200
Update changelog and prepare for upload
diff --git a/debian/changelog b/debian/changelog
index 8267f20
The annotated tag, debian/8.2.beta4+dfsg-2 has been created
at 4f049e3bfb7d9c447b7a891083b4337f797d7685 (tag)
tagging 745e0fb3b3bc4c435870f1af25c22d495fac9f29 (commit)
replaces debian/8.2.beta4+dfsg-1
tagged by Stephane Glondu
on Fri Aug 15 14:09:05 2008 +0200
The following commit has been merged in the master branch:
commit cdce320e124a3fcba458fad3c638940ce8f993ce
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Sep 7 18:05:26 2008 +0200
Bump debhelper compatibility level to 7
diff --git a/debian/compat b/debian/compat
index b8626c4..7f8f011
The following commit has been merged in the master branch:
commit b6db9f4f71b806d89cd24db386a6bcdd3b469d31
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Sep 7 18:58:27 2008 +0200
Remove obsolete patches
diff --git a/debian/patches/00list b/debian/patches/00list
index fb3801f..e69de29
The following commit has been merged in the master branch:
commit d8e408268a5d4c59770e5ce02d6c814f751caed3
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Sep 7 18:58:58 2008 +0200
Use debhelper 7, simplify debian/rules
diff --git a/debian/control b/debian/control
index d84be0b
The following commit has been merged in the pristine-tar branch:
commit 7a4f7aac5a2b62098a484c3d996bf47db4c11ed0
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Sep 8 00:21:18 2008 +0200
pristine-tar data for coq_8.2~beta4.svn20080907+dfsg.orig.tar.gz
diff --git a/coq_8.2~beta4
The annotated tag, upstream/8.2.beta4.svn20080907+dfsg has been created
at b5e6a28e8b7d1a69e5ee94a3f88878852b74c7ec (tag)
tagging 113b703a695acbe31ac6dd6a8c4aa94f6fda7545 (commit)
replaces upstream/8.2.beta4+dfsg
tagged by Stephane Glondu
on Mon Sep 8 00:15:04 2008 +0200
The following commit has been merged in the master branch:
commit 49e07305dbe7d141917e016898bab8ba71b3a339
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Sep 8 22:30:44 2008 +0200
Document FTBFS fix on hurd
diff --git a/debian/README.Debian b/debian/README.Debian
index 9c79cb9
The following commit has been merged in the master branch:
commit 75aabd771e0032ba0e48a54f3d2bb0b290ab0fea
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Sep 9 13:13:07 2008 +0200
CDBS: handle lines starting with OPT: in *.in files
These lines will be deleted on bytecode-only
The following commit has been merged in the master branch:
commit 96dfa652b2007158f43569801233a5cede8b77e8
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Sep 29 19:24:28 2008 +0200
Fix GC-unsafe operations in C stubs (Closes: #500591)
* caml_{enter,leave}_blocking_section
The following commit has been merged in the master branch:
commit dc878f00d1eb2a2b5ca4cc404447785f6ed0d6b5
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Sep 29 19:28:01 2008 +0200
Set Maintainer to d-o-m, and Uploaders to Sam and me
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 0bc2088552c9567ea623099eb44d2e6e50c0d66d
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 1 00:50:01 2008 +0200
Fix location of static files in conf template
diff --git a/debian/ocsigen.conf.template b/debian
The following commit has been merged in the master branch:
commit aeb4d5bb1b4fd659cc3a4880e3336e778d460267
Author: Janne Hellsten [EMAIL PROTECTED]
Date: Wed Oct 1 02:31:21 2008 +0300
Minor documentation changes.
diff --git a/debian/README.Debian b/debian/README.Debian
index
The following commit has been merged in the master branch:
commit 3e72176cf788a1d0e72b9728954f68c286004fce
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Oct 2 09:35:38 2008 +0200
More copyright information
diff --git a/debian/copyright b/debian/copyright
index 8294e7e..10fb79c 100644
The following commit has been merged in the master branch:
commit b364c411a7bc55e923992ff963203cbd01ec6d56
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Oct 3 22:01:52 2008 +0200
Make configuration file explicit in init script)
diff --git a/debian/ocsigen.init b/debian/ocsigen.init
The following commit has been merged in the master branch:
commit 2220e372fa67fc6c8a5f1bfed9c55286ad60c49f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 8 17:55:18 2008 +0200
Remove pcre dependency from META file
With pcre in the META file, nurpawiki needs access
The following commit has been merged in the master branch:
commit f2f16c133c0c6e736545f9825cc46d0e1c2e3f00
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Oct 12 16:30:29 2008 +0200
Clarifications in README.source
diff --git a/debian/README.source b/debian/README.source
index 1acdefb
The following commit has been merged in the master branch:
commit 2a10434c0de082b7a188e9e2ffbdaa84f540fea8
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Oct 13 11:07:58 2008 +0200
Precision in README.source
diff --git a/debian/README.source b/debian/README.source
index 5c1a098
The following commit has been merged in the master branch:
commit 2196a453e2d19040be2ccc105cfda72c0853600a
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 15 00:48:26 2008 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 7906315..ed6c0df 100644
The following commit has been merged in the master branch:
commit eb652a83257fef86c2beefb054597cc7638197ce
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 15 01:01:17 2008 +0200
Update debian/copyright
diff --git a/debian/copyright b/debian/copyright
index 10fb79c..8400072 100644
The following commit has been merged in the master branch:
commit d3d61f7db9e3da18b9ac4d3ffbcb8662c4ffe7cb
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 15 01:03:01 2008 +0200
Nurpawiki populates the database itself now
diff --git a/debian/README.Debian b/debian/README.Debian
The following commit has been merged in the master branch:
commit 8ac711ca53a1a18d42d5a92cbc573bf620116aa6
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 15 01:04:38 2008 +0200
All patches have been merged in upstream
diff --git a/debian/README.source b/debian/README.source
The following commit has been merged in the pristine-tar branch:
commit 6928090aaa1ee49625c326ad01020a4ca9f571a6
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 15 00:48:09 2008 +0200
pristine-tar data for nurpawiki_1.2.2.orig.tar.gz
diff --git a/nurpawiki_1.2.2.orig.tar.gz.delta
The branch, fixes/ocsigen-1.1.0 has been deleted
was 3873d939dbc71a838b71f8a746fd59298c7d216d
---
3873d939dbc71a838b71f8a746fd59298c7d216d Initial commit of patch
fixes/ocsigen-1.1.0
The branch, fixes/calendar-2.0.2 has been deleted
was 22513ea9df13b61c9946d2e0fd704dcdd17f8532
---
22513ea9df13b61c9946d2e0fd704dcdd17f8532 The whole library is now packed into
CalendarLib module
The branch, build has been deleted
was 8535e56cbc8b495a7ca625577bafa91113a922f5
---
8535e56cbc8b495a7ca625577bafa91113a922f5 More debhelper files
---
--
The following commit has been merged in the master branch:
commit 96d2611f217e46bbed1e0f70e8c00459f020847d
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Wed Oct 15 23:35:02 2008 +0200
Add dependency to ocaml-base-nox-${F:OCamlABI}
diff --git a/debian/control b/debian/control
index
The following commit has been merged in the master branch:
commit 3e6a1167fd397f2c72b48315e5d82f6c7e24703f
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Thu Oct 16 13:39:34 2008 +0200
Define substvars more appropriately
diff --git a/debian/rules b/debian/rules
index 19bd688..58ad7e1
The following commit has been merged in the pristine-tar branch:
commit ed1e361e25ee34da2e9abe8552c68aa82ea8d99a
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Oct 17 12:22:48 2008 +0200
pristine-tar data for ocaml_3.11.0~beta1.orig.tar.gz
diff --git a/ocaml_3.11.0~beta1
The branch, 3.11/upstream has been created
at 5dfb1ce8883f4b3457ae9da5c6dd1399bf132ef1 (commit)
- Shortlog
commit 5dfb1ce8883f4b3457ae9da5c6dd1399bf132ef1
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Oct 17 12:22:34
The following commit has been merged in the pristine-tar branch:
commit bc8a5e7a592a7375ca2ef684ad6c85182aebb84e
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Oct 21 18:06:39 2008 +0200
pristine-tar data for camlp5_5.10.orig.tar.gz
diff --git a/camlp5_5.10.orig.tar.gz.delta b
The following commit has been merged in the 3.11/master branch:
commit 1968e229d9584e5b380261e2d1f89bf06a8a267d
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Oct 27 18:57:41 2008 +0100
Add manpages.dpatch and ocamldoc.dpatch
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the 3.11/master branch:
commit 198c56cc9a54711c999deeff311e52b3dd419fcc
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Oct 27 19:37:47 2008 +0100
Add explicit dependency from camlp4-extra to ocaml-nox
diff --git a/debian/changelog b/debian
The following commit has been merged in the 3.11/master branch:
commit 96675986319cce07d96e89cb4538494949b3fa14
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Nov 2 12:58:44 2008 +0100
Remove not-native-no-aspp.dpatch
See upstream bug #4375
diff --git a/debian/changelog b
The following commit has been merged in the master branch:
commit 2af942a1a9de369365be8ad312845feb1138d9d5
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Nov 2 13:09:41 2008 +0100
Revert Embed bytecode in C object when using -custom
This reverts commit
The following commit has been merged in the 3.11/master branch:
commit 4900cdc4d4cf44f86a11b0b443f6e3fe8b8f6446
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Mon Nov 3 23:11:29 2008 +0100
Remove dependency to gcc-4.2 on arm
diff --git a/debian/changelog b/debian/changelog
index 9239f7d
The following commit has been merged in the 3.11/master branch:
commit 1cf0a3a6588c14eabef5e591c06b4211fcbd1da6
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Tue Nov 4 20:14:27 2008 +0100
Prepare upload (to experimental)
diff --git a/debian/changelog b/debian/changelog
index aa15bf0
The following commit has been merged in the master branch:
commit 4a9ae2cd32d6f879950f709c8ab31fc35e737ae4
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Nov 14 13:29:28 2008 +0100
arch:all - arch:any
As OCaml 3.11 with native Dynlink is coming very soon, we switch right
The following commit has been merged in the master branch:
commit da8cc13e0ca4252d4d24dcddf67409a267496f69
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Fri Nov 14 13:41:11 2008 +0100
Uploading (to experimental)
diff --git a/debian/changelog b/debian/changelog
index ed6c0df..40f15a3
The annotated tag, debian/1.2.2-1 has been created
at 3695b2ef411e00291f394fa00be23ca6870b544a (tag)
tagging da8cc13e0ca4252d4d24dcddf67409a267496f69 (commit)
replaces upstream/1.2.1
tagged by Stephane Glondu
on Fri Nov 14 12:55:47 2008 +
- Shortlog
The following commit has been merged in the pristine-tar branch:
commit 9626a4ca27fdc5bbbc0059173194a67640695c0e
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sun Nov 16 23:05:11 2008 +0100
Proper names for files in pristine-tar branch
diff --git a/alt-ergo-0.8.tar.gz.delta b/alt
The following commit has been merged in the 3.11/master branch:
commit c0ea7bb0bfa64b731a3428d8d0b203e6c8bd4ff7
Author: Stephane Glondu [EMAIL PROTECTED]
Date: Sat Nov 29 11:11:59 2008 +0100
Add debian/gbp.conf
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index
1 - 100 of 4094 matches
Mail list logo
