The branch, master has been created
at 7d12286143751b7e6ff947ba8407fb86f43e95a9 (commit)
- Shortlog
commit 7d12286143751b7e6ff947ba8407fb86f43e95a9
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Thu May 8 18:52:1
The branch, pristine-tar has been created
at 495c0da0229574849d65c884919ebaad4a726894 (commit)
- Shortlog
commit 495c0da0229574849d65c884919ebaad4a726894
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Thu May 8 18
The branch, upstream has been created
at 7d12286143751b7e6ff947ba8407fb86f43e95a9 (commit)
- Shortlog
commit 7d12286143751b7e6ff947ba8407fb86f43e95a9
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Thu May 8 18:52:1
The following commit has been merged in the master branch:
commit 3a2d1e0ebda4caca4c4df9ec6d7d1750e5207de1
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jun 10 11:39:31 2008 +0200
Initial import of meta-files
diff --git a/debian/changelog b/debian/changelog
new file mode
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
ne
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 ocamlmk
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.
The following commit has been merged in the master branch:
commit b01dbbf626b0f8f589827a38066c3edbeef7c323
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jun 10 15:19:13 2008 +0200
Filling in dependencies
diff --git a/debian/control b/debian/control
index f4f0b10..e7567bb
The branch, upstream+patches has been created
at 1232f7d1f064b374bda7d2347842da3e846dae1a (commit)
- Shortlog
commit 1232f7d1f064b374bda7d2347842da3e846dae1a
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jun 10
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
The following commit has been merged in the master branch:
commit b1bbbd8095f4ccdf2bfacf1fe6d58892038eebe9
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jun 10 21:49:00 2008 +0200
Document patches in Debian changelog
diff --git a/debian/changelog b/debian/changelog
index 8
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
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/
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.d
The following commit has been merged in the master branch:
commit 5bf3155c267a69b1bff68d174d462fee0ccd2de4
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Sun Jun 15 01:47:02 2008 +0200
Install CHANGES file
diff --git a/debian/libpam-ocaml-dev.docs b/debian/libpam-ocaml-dev.docs
The following commit has been merged in the master branch:
commit 4daf1ab1572c2df98a63694d5e5a27b35e1a5d88
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Sun Jun 15 01:56:10 2008 +0200
Add Vcs-Browser and Vcs-Git headers to debian/control
diff --git a/debian/control b/debian/c
The following commit has been merged in the master branch:
commit 0d74c18756df977f0e281938061810fab9e1680a
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Sun Jun 15 02:11:24 2008 +0200
Bump Standards-Version to 3.8.0 (no changes)
diff --git a/debian/control b/debian/control
The annotated tag, upstream/1.1 has been created
at 9d6e084c83c65b7b8e67b30b1e9b7fc04ecd0dc2 (tag)
tagging 4590ca9ffc11df3b1e5402784b49b78b6ce35591 (commit)
tagged by Stephane Glondu
on Sun Jun 15 01:24:52 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit adda6081822907803e15ef24236a3f81de0c4c30
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Jun 16 17:19:17 2008 +0200
Bump debhelper compatibility level to 7
diff --git a/debian/compat b/debian/compat
index 7
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/Pro
The following commit has been merged in the master branch:
commit 6931998c32ca7b335106079a1d8a14543351cdf1
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Jun 16 17:28:39 2008 +0200
Split dependency lines
diff --git a/debian/control b/debian/control
index bee6969..ac53a5c
The following commit has been merged in the master branch:
commit f344617ce29ad3bda02104721785904621c5009a
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Jun 16 18:07:34 2008 +0200
Use cdbs
diff --git a/debian/control b/debian/control
index ac53a5c..3128fcf 100644
--- a/
The following commit has been merged in the master branch:
commit f3a96171d393a27d75a167eb201ab429c3780b73
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jun 17 00:36:56 2008 +0200
Change also debhelper version in Build-Depends
diff --git a/debian/control b/debian/control
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:1
The following commit has been merged in the master branch:
commit ef4605c497fcec19c77d7d85eea543bddb9842e3
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Jun 23 16:25:38 2008 +0200
Prepare for release
diff --git a/debian/changelog b/debian/changelog
index 20b0df6..869de71
The annotated tag, debian/1.1-1 has been created
at 2b9134ca7550c8ce353016349cf4e48a6fc0 (tag)
tagging ef4605c497fcec19c77d7d85eea543bddb9842e3 (commit)
replaces upstream/1.1
tagged by Stephane Glondu
on Mon Jun 23 16:52:42 2008 +0200
- Shortlog
The branch, master has been created
at 56da407aafa2254c2b4f47213dc5011960b3ee6f (commit)
- Shortlog
commit 56da407aafa2254c2b4f47213dc5011960b3ee6f
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Jun 27 00:34:5
The branch, pristine-tar has been created
at 50e4a4c3e0b7a8dad50c875411ecc52e55eacf63 (commit)
- Shortlog
commit 50e4a4c3e0b7a8dad50c875411ecc52e55eacf63
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Jun 27 00
The branch, upstream has been created
at 56da407aafa2254c2b4f47213dc5011960b3ee6f (commit)
- Shortlog
commit 56da407aafa2254c2b4f47213dc5011960b3ee6f
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Jun 27 00:34:5
The annotated tag, upstream/1.1.0 has been created
at ac33de1e684238442583b5b31d863a697f4f0c21 (tag)
tagging 56da407aafa2254c2b4f47213dc5011960b3ee6f (commit)
tagged by Stephane Glondu
on Fri Jun 27 00:39:00 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit e181964b71737656a206095fd9e0fe2b0393f2ff
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Jun 27 01:07:34 2008 +0200
Initial packaging
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0
The following commit has been merged in the master branch:
commit 22fc03b3f1f13598d4f9c50cd48fd2f3b29147d6
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Sun Jun 29 23:14:36 2008 +0200
Fine tuning
diff --git a/debian/control b/debian/control
index b25cb6e..df7134e 100644
--- a/
The following commit has been merged in the master branch:
commit 62217ce115f8ce7533231d6524a6ccdfbd9b0fad
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Sun Jun 29 23:32:35 2008 +0200
Fix FTBFS when there is no ocamlopt
diff --git a/debian/rules b/debian/rules
index 4bb1e4e..b
The following commit has been merged in the master branch:
commit 701aeae4fd08f6f5e93fbe3d57cb75f5aa2388bb
Merge: ef4605c497fcec19c77d7d85eea543bddb9842e3
17d1acec8a6429e8d5b0573055c6b95702ca0741
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Sat Jul 5 09:15:22 2008 +0200
Merge
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
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
The following commit has been merged in the master branch:
commit 64afcb822a39d1eb5675242ee83fff477c3e6338
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jul 8 13:23:53 2008 +0200
Fixup dpatch stuff
diff --git a/debian/patches/00dpatch.conf b/debian/patches/00dpatch.conf
d
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
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/ocam
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
The following commit has been merged in the master branch:
commit fc1b6f248ef0a863f890f64c8e58d7b39760523e
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Jul 8 14:35:06 2008 +0200
chmod +x debian/ocaml-md5sums/feeding.sh
diff --git a/debian/ocaml-md5sums/feeding.sh b/debian
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/
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 -
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..9
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..d
The following commit has been merged in the master branch:
commit 8a58d74554483df0a259e1db2a5336de8762f50a
Merge: 9b134429154bcf18439f13d39789e0e60592f915
0e50ec60508734ad110a9668f5fd35a025c88477
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Wed Jul 23 14:08:34 2008 +0200
Merge
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
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.d
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 3c127d955b4fc013be0f49da4e6ff31d2fc9c3c7
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Sun Jul 27 23:17:09 2008 +0200
Create bin/ in clean stage of rules
Git doesn't handle empty directories, so we
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
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/c
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 6
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
The following commit has been merged in the master branch:
commit 4cc16f522c193923b93d38d637a6dcae1e1a96b7
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Jul 28 15:54:36 2008 +0200
ide/utf8.v is not there anymore (moved to theories)
diff --git a/debian/coq-libs.install b/debi
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 5
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 1
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
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
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
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/debi
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..6
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
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
The following commit has been merged in the master branch:
commit 1950fa2f34bb93fe514e9035284073221c1cbba6
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 13:20:02 2008 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 677e23d..10148c5
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/
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
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 280b58b25462cd9f8e33f96ff76e84cf22eb465c
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 15:29:35 2008 +0200
Move patch-stamp as a prerequisite of configure-stamp
diff --git a/debian/rules b/debian/rules
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/
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
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
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..7
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
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
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 c7560b2873cbba06c8f4123e64cc42be979ab676
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Aug 12 15:05:08 2008 +0200
Remove obsolete manpages (now shipped upstream)
diff --git a/debian/coq-interface.1 b/debi
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
The following commit has been merged in the master branch:
commit adb074ad9e4e36e05985f15153839733163e438e
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Tue Aug 12 18:33:42 2008 +0200
Remove XS- prefix in XS-Vcs-* in policy
diff --git a/debian/changelog b/debian/changelog
index 7
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)
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 8
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 5c6894942e4de978963144606e89db432c306625
Merge: 745e0fb3b3bc4c435870f1af25c22d495fac9f29
113b703a695acbe31ac6dd6a8c4aa94f6fda7545
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Sep 8 00:15:04 2008 +0200
Merge
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 b
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 f
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 d
The following commit has been merged in the master branch:
commit e9ca8bf54ae638fcab7fac39feec5ca047578d07
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Sep 8 00:22:55 2008 +0200
Update changelog
diff --git a/debian/changelog b/debian/changelog
index fdef3f2..622bb41 100644
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
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 9
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 del
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_s
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/cha
1 - 100 of 4818 matches
Mail list logo
