The following commit has been merged in the master branch:
commit 74f4acb353668df5c12354bb7f8a4c4beba674e6
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Tue Jun 3 14:08:45 2008 +0200
changelog with ITP bug number
diff --git a/debian/changelog b/debian/changelog
new file mode
The following commit has been merged in the master branch:
commit 25adb57363ffb21f65aa44c2cbd6e810f2506fc9
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Tue Jun 3 14:07:44 2008 +0200
debhelper compatibility set to 7
diff --git a/debian/compat b/debian/compat
new file mode
The following commit has been merged in the master branch:
commit 6f7e8ec5594177990a9659f1f745f058deaba2ca
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Tue Jun 3 14:07:22 2008 +0200
debian/control draft
diff --git a/debian/control b/debian/control
new file mode 100644
index 0
The following commit has been merged in the master branch:
commit 7871d7b8cbd768243717cb9daebc4089e65ec2fd
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Tue Jun 3 14:07:02 2008 +0200
install the best built executable
diff --git a/Makefile b/Makefile
index 6a9d715..d992009
The following commit has been merged in the master branch:
commit 7c2443bb46f3d7ce142f89a13dc3669d302ee45c
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Tue Jun 3 10:16:25 2008 +0200
comment out left-over code
diff --git a/ceve.ml b/ceve.ml
index aae91b2..b621d5e 100644
The following commit has been merged in the master branch:
commit 3abd679317db049eb7e147a10179169dc264670d
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Tue Jun 3 10:16:04 2008 +0200
remove left-over cmi upon clean
diff --git a/Makefile b/Makefile
index 153301f..6a9d715 100644
The annotated tag, upstream/1.3 has been created
at 5a9d1857b14a169ead8f0bc03319b50aca769bb4 (tag)
tagging 3fad650c5475d1b142c640fdb0ec6eebb7bebc0f (commit)
tagged by Stefano Zacchiroli
on Thu May 15 23:03:43 2008 +0200
- Shortlog
The annotated tag, debian/1.2-1 has been created
at 26c5b4ad1b47c3de1ae2b9b9197112a98216446f (tag)
tagging 75ebf1280a61a0f9050fcbf5f77c3c55136b11e8 (commit)
tagged by Stefano Zacchiroli
on Wed Apr 16 23:14:37 2008 +0200
- Shortlog
The annotated tag, debian/1.3-1 has been created
at 040c8f87a8c26ba6716fa98ad8da48302344f79f (tag)
tagging f9e76baffb832a6c5a33d5f0a3de4309f2c0a65c (commit)
replaces debian/1.2-1
tagged by Stefano Zacchiroli
on Mon Jun 2 17:25:15 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit f9e76baffb832a6c5a33d5f0a3de4309f2c0a65c
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 17:21:06 2008 +0200
add missing deps on camlzip
diff --git a/debian/control b/debian/control
index 63938e4..1
The following commit has been merged in the master branch:
commit d350504fb4de309ba861885e91dc3c81e906161b
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 17:05:28 2008 +0200
ensure *all* .mli are removed upon clean
diff --git a/Makefile.config.in b/Makefile.config.in
The following commit has been merged in the master branch:
commit adaa63deece1d4275c5abb4f5a8141a87b3a7281
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 17:04:26 2008 +0200
override CFLAGS some more
diff --git a/Makefile.config.in b/Makefile.config.in
index 9
The following commit has been merged in the master branch:
commit a0eea0c81ac2d03563a280a2b0814988cb0563e2
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 17:03:58 2008 +0200
removals
diff --git a/debparser/debparser.mlid b/debparser/debparser.mlid
deleted file mode
The following commit has been merged in the master branch:
commit f0da4585160889a0e2158aa0ddbcd84658f89e8b
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 16:54:50 2008 +0200
remove mlid
diff --git a/dosebase/dosebase.mlid b/dosebase/dosebase.mlid
deleted file mode
The following commit has been merged in the master branch:
commit 57bc87afe8e0e281d3a750106b822925bd99b334
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 16:52:46 2008 +0200
rm .mlid upon clean
diff --git a/Makefile.config.in b/Makefile.config.in
index 99bffcd..9
The following commit has been merged in the master branch:
commit 277252608d07749314a996d7d9a88f757b56f5b5
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 16:51:39 2008 +0200
clean C dirts upon clean
diff --git a/Makefile.config.in b/Makefile.config.in
index 698cf95..9
The following commit has been merged in the master branch:
commit af35319463a302ffe0d2e04aa5289aeb64d0c032
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 16:47:37 2008 +0200
override external CFLAGS to enfore -I..
diff --git a/ocamlrpm/Makefile b/ocamlrpm/Makefile
The following commit has been merged in the master branch:
commit 991e88adf081e9e76546c7526b2966fb6c5e7225
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 16:24:28 2008 +0200
remove no longer needed dep on mysql-ocaml
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 3bc1d3f606a885975312a67ad411696b14763193
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 16:35:10 2008 +0200
bump release date
diff --git a/debian/changelog b/debian/changelog
index 979f0cb..044ad70
The following commit has been merged in the master branch:
commit 326b1fe34a41f164a240304e5c427f5ce1a4d3d0
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 15:37:58 2008 +0200
install the rpm*.so stub in the right place
.. and no longer install mmap.so which
The following commit has been merged in the master branch:
commit 8429f5b0bbff89eaa0a502449146204bd9d05b44
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 15:35:03 2008 +0200
bugfix: pass INSTALLDIR=... to cmi-install
diff --git a/Makefile.config.in b/Makefile.con
The following commit has been merged in the master branch:
commit 77d7aaba58aca9497dab84339d1f610bdb9d75f9
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 15:01:19 2008 +0200
fix include name mangling
diff --git a/ocamlrpm/ocamlrpm_stubs.c b/ocamlrpm/ocamlrpm_stubs.c
The following commit has been merged in the master branch:
commit 66328faf5927e05cad88c70953306d4f47514b72
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 14:57:05 2008 +0200
look for librpm headers in
diff --git a/config.h.in b/config.h.in
index ef8d821..02b6675
The following commit has been merged in the master branch:
commit 720aaf33d3ce506a19ac9cb5b0dc792d7a4fc6a8
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 14:46:29 2008 +0200
bump debhelper compatibility to 7
diff --git a/debian/compat b/debian/compat
index 1e8b314..7
The following commit has been merged in the master branch:
commit 26783d15265224108d0743830733e8e5e5c978c4
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon Jun 2 14:46:03 2008 +0200
add missing build-dep on librpm-dev
diff --git a/debian/control b/debian/control
index e
The annotated tag, debian/0.5.0-4 has been created
at 5ff3c7e6373fe952758158855a8ed51f99357786 (tag)
tagging 52b07ef28e626c491aaf7c35740e74174ad9867b (commit)
replaces debian/0.5.0-3
tagged by Stefano Zacchiroli
on Sun Jun 1 11:47:51 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 52b07ef28e626c491aaf7c35740e74174ad9867b
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun Jun 1 11:42:31 2008 +0200
typo
diff --git a/debian/changelog b/debian/changelog
index a181e55..e5f5d59 100644
--- a/
The following commit has been merged in the master branch:
commit 8c3d117ed02bc9ffe1e7363890d5dcd5992826f8
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun Jun 1 11:37:27 2008 +0200
enforce bin-prot build-dep on all archs
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the pristine-tar branch:
commit ee66b6b30d4b157bdfae6470b01e037405f238e4
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:03:43 2008 +0200
pristine-tar data for dose2_1.3.orig.tar.gz
diff --git a/dose2_1.3.orig.tar.gz.d
The following commit has been merged in the master branch:
commit a6e2dc48f8f8c55538b596ae7e3015187c714278
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 16 00:02:58 2008 +0200
update debian/copyright wrt upstream license
Dose2 is now licensed under the terms o
The following commit has been merged in the master branch:
commit f298d7cbf5928b219915ea0e6da48673172317bb
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 16 00:00:26 2008 +0200
ensure ./configure is called once (via timestamp)
diff --git a/debian/rules b/debian/rules
The following commit has been merged in the master branch:
commit 992e47177a638504d0ceab3a2e14b10d99774050
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:59:51 2008 +0200
create DESTDIR as needed
diff --git a/Makefile.in b/Makefile.in
index e4aff06..6cbcadb 100644
The following commit has been merged in the master branch:
commit 975e567f13698b265eacf3aadffdff2a766d56c9
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:52:55 2008 +0200
support installation in a target dir
diff --git a/Makefile.config.in b/Makefile.config.in
The following commit has been merged in the master branch:
commit fea61c97cbaff62910dc1a06ff2fc8bb7cb280ab
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:44:35 2008 +0200
proper placement of dirt cleaning
diff --git a/Makefile.in b/Makefile.in
index eccaee5..0
The following commit has been merged in the master branch:
commit ab4ea1de0c5e285a271409209209e63d4f9e77aa
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:41:00 2008 +0200
clean up dirts
diff --git a/Makefile.in b/Makefile.in
index 649a9ec..eccaee5 100644
The following commit has been merged in the master branch:
commit 0730ad6af781887ea21a199c0eb825a3fdb43852
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:34:01 2008 +0200
clean generated stuff
diff --git a/Makefile.in b/Makefile.in
index 7599e80..649a9ec 100644
The following commit has been merged in the master branch:
commit 3e02bcec0e07400e789768ff4d9ebddabfe15a01
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:31:53 2008 +0200
ensure depend is called by all
diff --git a/Makefile.in b/Makefile.in
index c7471d5..7599e80
The following commit has been merged in the master branch:
commit 8513f6f8e65cfb15dfa73fb89ddeb4f29e195844
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:30:18 2008 +0200
manually invoke ./configure
diff --git a/debian/rules b/debian/rules
index 0d6d1d5..9c071c9
The following commit has been merged in the master branch:
commit 79d4b383e1d2045bf7a3029e0cad0058b37c6c10
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:14:14 2008 +0200
update rules for new (autotools) upstream
diff --git a/debian/rules b/debian/rules
index e
The following commit has been merged in the master branch:
commit f4c1e79b1d6e060be0722a1511f8e6bc0ab28e2a
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:11:20 2008 +0200
remove vanished upstream Makefile.common
diff --git a/make/Makefile.common b/make/Makefile.
The following commit has been merged in the master branch:
commit 80c7d95ba7bcf27f46309013a223ce0ab64d379b
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:10:41 2008 +0200
remove (now) generated Makefile
diff --git a/Makefile b/Makefile
deleted file mode 100644
The following commit has been merged in the master branch:
commit 804cc980ff59f76e8b4e5b6c7bd90121bd66534d
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:06:42 2008 +0200
bump changelog version to latest upstream
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit c06c1a93ecdd49261fdcbacf048cad4a7ebdcf59
Merge: c01391bfdf9dd903a2c05c05d7ce479eff310ceb
3fad650c5475d1b142c640fdb0ec6eebb7bebc0f
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Thu May 15 23:05:54 2008 +0200
The annotated tag, debian/1.0.5-4 has been created
at 3e138e556aaadf570edd08a17e4ab413879b64a4 (tag)
tagging 6aa8a1833647f2fd2a208aaea03b8f424e1b12e1 (commit)
replaces debian/1.0.5-3
tagged by Stefano Zacchiroli
on Fri May 9 15:27:32 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 6aa8a1833647f2fd2a208aaea03b8f424e1b12e1
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 9 15:25:00 2008 +0200
fix OCamlMakefile to ensure -fPIC is added to build .o (fix FTBFS on 64 bit
architectures)
The annotated tag, debian/0.5.0-3 has been created
at 472640ed1699ac73e090a6be845e370c50e5db00 (tag)
tagging 371fca13c954e0a3b3bdcd21f9ad627a21cd4d6f (commit)
replaces debian/0.5.0-2
tagged by Stefano Zacchiroli
on Fri May 9 14:10:25 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 371fca13c954e0a3b3bdcd21f9ad627a21cd4d6f
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 9 14:06:08 2008 +0200
upload to unstable / disable arch-specific patch machinery
* uploading to un
The annotated tag, debian/3.7.4-3 has been created
at 824593f0c869849cbda298066351bbb7a300dc5e (tag)
tagging 4e6629edc33d11ba12a5337197ffaeb418dd3138 (commit)
replaces debian/3.7.4-2
tagged by Stefano Zacchiroli
on Fri May 9 13:41:51 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 4e6629edc33d11ba12a5337197ffaeb418dd3138
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 9 13:40:57 2008 +0200
upload to unstable
diff --git a/debian/changelog b/debian/changelog
index dd01082..2e2baba
The annotated tag, debian/1.0.5-3 has been created
at 03ac89d6e06d41063fabd24d1f7f703842866f41 (tag)
tagging e6442a64b302a81945390c57e3259c9bc53bece8 (commit)
replaces debian/1.0.5-2
tagged by Stefano Zacchiroli
on Fri May 9 11:07:02 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit e6442a64b302a81945390c57e3259c9bc53bece8
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 9 11:05:28 2008 +0200
upload to unstable
* upload to unstable
* release to all architecture as discusse
The annotated tag, debian/1.5.0-3 has been created
at b0fa5b5d68d14b405e4a9fd408a2016d03529355 (tag)
tagging fcfab4901ddc3a22fcee7c6944714f61a51a91be (commit)
replaces debian/1.5.0-2
tagged by Stefano Zacchiroli
on Fri May 9 10:46:40 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit fcfab4901ddc3a22fcee7c6944714f61a51a91be
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 9 10:44:22 2008 +0200
uploading to unstable
diff --git a/debian/changelog b/debian/changelog
index 67cca1c..8612845
The annotated tag, debian/2.2.5-2 has been created
at 484649ab8f531e03345bd39a2aa0b339eeca707d (tag)
tagging c460dcc997766dc4910fa28efff5c1b98df428ac (commit)
replaces debian/2.2.5-1
tagged by Stefano Zacchiroli
on Fri May 9 13:51:36 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit a49cb10fc87e95cd04782704da63cdd5136d8bb4
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 9 13:49:12 2008 +0200
shortcircuit 2 changelog entries
diff --git a/debian/changelog b/debian/changelog
index 3
The following commit has been merged in the master branch:
commit c460dcc997766dc4910fa28efff5c1b98df428ac
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Fri May 9 13:50:30 2008 +0200
uploading to unstable
diff --git a/debian/changelog b/debian/changelog
index d1b106d..4fe6bce
The annotated tag, debian/3.7.4-2 has been created
at 02486082669b51a35c2b32b47db85429937c44fe (tag)
tagging 1e6b233dd8e092fb88a8813762a31826568a2151 (commit)
replaces debian/3.7.4-1
tagged by Stefano Zacchiroli
on Mon May 5 10:33:10 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 1e6b233dd8e092fb88a8813762a31826568a2151
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:32:19 2008 +0200
releasing to experimental
diff --git a/debian/changelog b/debian/changelog
index 05945a8..d
The following commit has been merged in the master branch:
commit f5cb6acb4923abf4b579068680eccd97cd785ff5
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:31:30 2008 +0200
add build-dep on camlp4-extra (fix FTBFS)
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 11ac1f39f9227533977562f191abcc030b5b3ebc
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:30:46 2008 +0200
shorter wording of a changelog item
diff --git a/debian/changelog b/debian/changelog
index f
The annotated tag, debian/1.0.5-2 has been created
at 6b5312f0b1316b83948d2fc1085f22d99d2a2289 (tag)
tagging 929a463c51f909fbb11fa87fbcb78034c87f3cf5 (commit)
replaces debian/1.0.5-1
tagged by Stefano Zacchiroli
on Mon May 5 10:27:42 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 929a463c51f909fbb11fa87fbcb78034c87f3cf5
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:26:58 2008 +0200
add todo item about shipping ocamldoc api ref
diff --git a/debian/TODO b/debian/TODO
index 8
The following commit has been merged in the master branch:
commit f7aa8ad9904afc98bf568d994e989efe32681a42
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:23:55 2008 +0200
shorter woring of a changelog item
diff --git a/debian/changelog b/debian/changelog
index 7
The following commit has been merged in the master branch:
commit cdd4965509f8c13e386f7e59c986c67592f2edb7
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:24:17 2008 +0200
release to experimental
diff --git a/debian/changelog b/debian/changelog
index d06a716..1
The following commit has been merged in the master branch:
commit 4ca15665ac5105abbb781cb8c34e9c4f35b9a624
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:22:29 2008 +0200
add build-dep on camlp4-extra (fix FTBFS)
diff --git a/debian/changelog b/debian/changelog
The annotated tag, debian/1.5.0-2 has been created
at dc67116ac51a38273ff1931b9288d19abdc3a5e1 (tag)
tagging f987c9c097d05990e88818eafd62ade3f8fae9b3 (commit)
replaces debian/1.5.0-1
tagged by Stefano Zacchiroli
on Mon May 5 10:17:12 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit f987c9c097d05990e88818eafd62ade3f8fae9b3
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 10:15:13 2008 +0200
add missing build-dep on camlp4-extra (fix FTBFS)
diff --git a/debian/changelog b/debian/cha
The following commit has been merged in the pristine-tar branch:
commit e248bc11dd796e3a878033532d349da4fa8950fc
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Mon May 5 08:22:55 2008 +0200
pristine-tar data for janest-core_0.5.0.orig.tar.gz
diff --git a/janest-core
The annotated tag, debian/0.5.0-2 has been created
at 8a1b54ff0769ccf45017997184321017cb95f1db (tag)
tagging c1302a94f5fa3e547477933305ad8d269f0d7d1d (commit)
replaces debian/0.5.0-1
tagged by Stefano Zacchiroli
on Sun May 4 21:47:16 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit c1302a94f5fa3e547477933305ad8d269f0d7d1d
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 21:44:28 2008 +0200
releasing to experimental
diff --git a/debian/changelog b/debian/changelog
index 4d25ca6..7
The following commit has been merged in the master branch:
commit 81cf630a2ecae8bd005d7d94ebdd85d02d00eae0
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 21:43:32 2008 +0200
get rid of empty TODO
diff --git a/debian/TODO b/debian/TODO
deleted file mode 100644
index 3
The following commit has been merged in the master branch:
commit de7ee2fe7f2ce09fc9a3017b58e1a9f8c4b31036
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 21:41:26 2008 +0200
ship .ml sources acting as module interfaces (Comparable, Hashable, ...)
diff --git a/
The following commit has been merged in the master branch:
commit 0cee316502007204cee7f29cd01f122b08efba53
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 21:36:49 2008 +0200
make the package Architecture: any
* make the package Architecture: any
- add
The following commit has been merged in the master branch:
commit 43d0cb5aeb24958ddd6d4b85369b8ab397e012df
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 19:41:05 2008 +0200
rename debian/TODO.Debian to debian/TODO to match debhelper naming
convention
diff --git a/
The following commit has been merged in the master branch:
commit a3400df33ff78ad0db2ea6e9ee97b962109bd628
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 19:40:26 2008 +0200
rename debian/TODO.Debian to debian/TODO to match debhelper naming
convention
diff --git a/
The following commit has been merged in the master branch:
commit 0650d7b35e4d50b4cec23eaddebaee6e1248b9ed
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 19:40:05 2008 +0200
rename debian/TODO.Debian to debian/TODO to match debhelper naming
convention
diff --git a/
The following commit has been merged in the no-bin-prot branch:
commit 1f2023ac6ef90da8d0c2f784d610affc83d0411f
Merge: bebb88eb55e89eda4db84e9479d2f7fb14ec889b
3a67ba982e40cfb2c2a3283275d42a9e0849acaf
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 19:37:16 2008 +0200
The branch, no-bin-prot has been created
at bebb88eb55e89eda4db84e9479d2f7fb14ec889b (commit)
- Shortlog
commit bebb88eb55e89eda4db84e9479d2f7fb14ec889b
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 17
The branch, no-bin-prot has been created
at 1e5a97880d91a1296a891e50aaeb835772632d50 (commit)
- Shortlog
commit 1e5a97880d91a1296a891e50aaeb835772632d50
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 17
The following commit has been merged in the master branch:
commit 5004e4fc7af9d48e63732d063852b22dad303606
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 17:28:54 2008 +0200
add TODO item about non shipped .ml files
diff --git a/debian/TODO b/debian/TODO
index 4
The following commit has been merged in the master branch:
commit 8d00566a6f4b4c55cfcb0eba98b4eb576fa965c0
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 17:27:41 2008 +0200
rename debian/TODO.Debian to debian/TODO so that it is installed by
dh_installdocs
diff -
The annotated tag, debian/0.5.0-1 has been created
at 635d966ff2d9b75e00c4d61c5da422e24998d346 (tag)
tagging e891f1e93a533b81dc351d21f87a2e65cb7e6308 (commit)
tagged by Stefano Zacchiroli
on Sun May 4 13:37:18 2008 +0200
- Shortlog
The annotated tag, debian/1.5.0-1 has been created
at 116068c22ff8f883d31e3d3ca4941ad47d5f7867 (tag)
tagging c8ebf68312d4afa222a8fc11b83906758d8eb88e (commit)
tagged by Stefano Zacchiroli
on Sun May 4 15:50:52 2008 +0200
- Shortlog
The following commit has been merged in the master branch:
commit c8ebf68312d4afa222a8fc11b83906758d8eb88e
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 15:50:04 2008 +0200
libdevel section for binary package
diff --git a/debian/control b/debian/control
index d
The following commit has been merged in the master branch:
commit f249aa60267016ba454981a17a8bef1c05a440e5
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 15:44:30 2008 +0200
ship upstream .mli and generate html api ref
diff --git a/debian/install.in b/debian/install.
The following commit has been merged in the master branch:
commit 7b8896d594d98041cfac30837687f8b06af3b3fc
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 15:28:49 2008 +0200
simpler debian/rules: type-conv is bytecode only
diff --git a/debian/rules b/debian/rules
The following commit has been merged in the master branch:
commit 456ebb7740609c578f10f7c18e37f41a6efc9dd4
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 15:23:36 2008 +0200
draft debian/rules
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0
The following commit has been merged in the master branch:
commit c3d5e0a9a399fd0af674f11b36898bfc6bffa14d
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 15:21:50 2008 +0200
changelog closing the ITP bug number
diff --git a/debian/changelog b/debian/changelog
new fil
The following commit has been merged in the master branch:
commit 8cb180a0fba3a9fdc2f0f129e4507548de7484c2
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 15:20:55 2008 +0200
draft debian/control
diff --git a/debian/control b/debian/control
new file mode 100644
index 0
The following commit has been merged in the master branch:
commit b85e1571b7974300c2137a94aff2319f67ee75c1
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 15:08:15 2008 +0200
machine parseable copyright
diff --git a/debian/copyright b/debian/copyright
new file mode
The following commit has been merged in the master branch:
commit 4880a921c6947d05b7562a5b472cc1b9b48e6ab5
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 14:52:26 2008 +0200
ship upstream readme
diff --git a/debian/docs b/debian/docs
new file mode 100644
index 0
The following commit has been merged in the master branch:
commit 8e3bf338051534236d95b56b02692447a773a267
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 14:51:05 2008 +0200
watch file
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 000..a
The following commit has been merged in the master branch:
commit eef178a41647657916deb141d2dd68314d38608f
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 14:51:31 2008 +0200
debhelper compatibility level
diff --git a/debian/compat b/debian/compat
new file mode 100644
The following commit has been merged in the master branch:
commit e891f1e93a533b81dc351d21f87a2e65cb7e6308
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 13:32:31 2008 +0200
remove unneeded dpatch: we have git!
diff --git a/debian/control b/debian/control
index 3
The following commit has been merged in the pristine-tar branch:
commit 83912f80f7931a24f7f1958084470ff7fc770326
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 12:58:27 2008 +0200
pristine-tar data for janest-core_0.5.0.orig.tar.gz
diff --git a/janest-core
The following commit has been merged in the master branch:
commit e4225e66c83572c577981c87a8a3678477230ade
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 12:57:41 2008 +0200
rename source package: core -> janest-core
diff --git a/debian/changelog b/debian/change
The following commit has been merged in the master branch:
commit 55be1571208d85f214947a83117694fd2609a33f
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 12:56:19 2008 +0200
arch-optional deps on bin_prot
diff --git a/debian/control b/debian/control
index 2347004..1
The following commit has been merged in the master branch:
commit 93296b38552f24bd3f1ab990ecdb2bddbbdbd78d
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 08:36:36 2008 +0200
typo in module summary
diff --git a/debian/README.Debian b/debian/README.Debian
index b
The following commit has been merged in the master branch:
commit 08ec450163171de8ae6ac8b22f66fc94040991c6
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
Date: Sun May 4 11:38:15 2008 +0200
add TODO.Debian, with an item about better Makefile for examples
diff --git a/debian/TODO.De
The annotated tag, debian/2.2.5-1 has been created
at c597b0690f97aee4f00840be526e0571d8a11199 (tag)
tagging bfd6d73500958d7e644b95c89d4c3f29334a88b9 (commit)
tagged by Stefano Zacchiroli
on Sun May 4 11:30:02 2008 +0200
- Shortlog
901 - 1000 of 1133 matches
Mail list logo