[bts-link] source package src:ocaml-sha

2012-03-22 Thread bts-link-upstream
# # bts-link upstream status pull for source package src:ocaml-sha # see http://lists.debian.org/debian-devel-announce/2006/05/msg1.html # user bts-link-upstr...@lists.alioth.debian.org # remote status report for #663520 (http://bugs.debian.org/663520) # Bug title: Support for incremental upd

Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-03-22 Thread David MENTRE
Hello, Disclaimer: I'm not a Debian developer, just a user. 2012/3/22 Hendrik Tews : > Currently I do 4 of the about 110 tests. Each of them takes about > 90 seconds on my Core Duo @ 2.80GHz. How much time should I spend > on testing during package build? As far as I have understood, those tests

Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover

2012-03-22 Thread Hendrik Tews
Mehdi Dogguy writes: I beleive an intermediate solution would be to compile it on build time and not ship it so that we know it works. (I didn't check what tests are performed during build time though to see if my proposal makes sense in this specific case). There were no tests perfo

Re: dh_ocaml rules [was Re: Bug#663754: ITP: hol-light ...]

2012-03-22 Thread Stéphane Glondu
Le 22/03/2012 08:19, Hendrik Tews a écrit : > If a package contains any cmo, cmi, cma, cmx, cmxa or cmxs file, > then it is a development package. Runtime packages can also contain cmo, cma and cmxs. Whether a package containing them is runtime or development depends on their use: if they

dh_ocaml rules [was Re: Bug#663754: ITP: hol-light ...]

2012-03-22 Thread Hendrik Tews
Hi, Stéphane Glondu writes: > I am sorry, but I don't understand the distinction between > runtime and development packages and its importance for packaging > and dh_ocaml. See: http://wiki.debian.org/Teams/OCamlTaskForce?action=AttachFile&do=get&target=jfla10-dh-ocaml.