Le 01/03/2012 15:50, Hendrik Tews a écrit :
>> ledit, geneweb and coq build without problems with strict camlp5.
>
>Did you test with the latest version (6.04)? Thanks a lot for your great
>work.
>
> No, I used the current camlp5 package (6.02.3-1), changed it to
> strict mode, instal
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Sat, 03 Mar 2012 22:51:57 +0100
Source: cduce
Binary: cduce
Architecture: source amd64
Version: 0.5.5-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers
Changed-By: Stéphane Glondu
Description:
cduce
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
Le 05/03/2012 04:23, Nobuhiro Iwamatsu a écrit :
> Please change Build-Depends of the package from libpng12-dev to libpng-dev.
PTS says that camlimages is part of libtiff4-symbols transition. Can I
upload it anyway?
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...
Le 05/03/2012 12:33, Goswin von Brederlow a écrit :
> I am looking for a sponsor for my package "libaio-ocaml"
I've looked at the git repository (037a448). It is written explicitly in
[1]:
"Do not close RFS bugs in debian/changelog."
but the bug you refer to in debian/changelog is a RFS bug
Le 06/03/2012 07:00, Raphael Geissert a écrit :
> The backtrace goes all the way to libQtGui.so.4 (I use the libqt4 gtk
> engine) from the following:
How to use the libqt4 gtk engine? Can you reproduce the bug with the
standard gtk engine? (I cannot)
Cheers,
--
Stéphane
--
To UNSUBSCRIBE,
Le 06/03/2012 08:18, Andreas Beckmann a écrit :
> during a test with piuparts I noticed your package fails to upgrade from
> 'squeeze'.
> It installed fine in 'squeeze', then the upgrade to 'wheezy' fails.
> [...]
Precision: it fails when using apt, but it works using aptitude.
Could you please e
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Wed, 07 Mar 2012 07:54:57 +0100
Source: approx
Binary: approx
Architecture: source amd64
Version: 5.1-1.1
Distribution: unstable
Urgency: low
Maintainer: Eric Cooper
Changed-By: Stéphane Glondu
Description:
approx - caching
Le 07/03/2012 16:36, Hendrik Tews a écrit :
> has somebody ever considered to package HOL Light? It's a theorem
> prover that is actively developed by John Harrison. [...]
Not AFAIK.
> One problem is that currently John Harrison doesn't seem to
> provide releases. One would have to package svn sn
Le 07/03/2012 20:16, Daniel Bünzli a écrit :
> I'll make a new release. However since I may take this opportunity to batch
> convert all my projects to oasis this may take a few days. Is there any short
> term debian deadline ? Otherwise I can make a release asap.
The freeze for the next stable
Le 07/03/2012 16:16, Hendrik Tews a écrit :
> The point of this email is to discuss how to tell otags which
> parsing extension it should use for which file. I see the
> following solutions (most preferred comes first):
> [...]
1 (preferred), 2 for upstreams that don't want to comply (to avoid noi
Package: src:geneweb
Version: 6.03-1
Severity: wishlist
Tags: patch
Dear Maintainer,
Your package fails to build from source with camlp5 6.05 (not yet
uploaded, but available in git [1]). I've lost the build log, but the
failure is basically due to the removal of Stdpp.Exc_located (which
has been
Le 16/03/2012 11:36, Hendrik Tews a écrit :
> a first version of the hol-light package is available at
> git://git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git
Even though I've pushed (cosmetic) stuff there, I've not yet fully
looked at everything.
> I believe the compiled syntax extens
Le 18/03/2012 21:54, Hendrik Tews a écrit :
> I believe the problem is that in
> /var/lib/ocaml/md5sums/camlp5.md5sums the runtime field is "-".
>
> This is caused by using "--runtime-map camlp5" in the rules file
> of camlp5, which sets only the development package name.
>
> If I build camlp5 wi
Le 19/03/2012 13:18, Hendrik Tews a écrit :
>camlp5 is a development package, not a runtime one. From your
>description, hol-light would also be a development package.
>
> I am sorry, but I don't understand the distinction between
> runtime and development packages and its importance for
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
Le 22/03/2012 15:45, David MENTRE a écrit :
> As far as I have understood, those tests are testing internal HOL
> logic. If you haven't modified any line of the original code, I don't
> see why those tests would fail (under assumption: all the relevant
> modules have correctly been installed). The
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
Sorry for not replying earlier!
Le 23/03/2012 21:17, Florent Monnier a écrit :
> About the libs Sexplib, Type-conv and Bin_prot, have you packaged the
> versions
> from janestreet.com or from ocaml.info ? Or maybe both ?
All our git repositories are available at:
http://anonscm.debian.org/gi
Package: src:ocamlsdl
Version: 0.8.0-4
Severity: important
Tags: patch
Le 03/04/2012 21:07, Florent Monnier a écrit :
> Here are 2 patches for ocamlsdl:
>
> http://svnweb.mageia.org/packages/cauldron/ocaml-
> sdl/current/SOURCES/dllsdlgfxstub.so-objs-src-
> ocamlsdl-0.8.0.patch?revision=226883&vi
Le 03/04/2012 21:07, Florent Monnier a écrit :
> Here are 2 patches for ocamlsdl:
>
> http://svnweb.mageia.org/packages/cauldron/ocaml-
> sdl/current/SOURCES/dllsdlgfxstub.so-objs-src-
> ocamlsdl-0.8.0.patch?revision=226883&view=markup
>
> http://svnweb.mageia.org/packages/cauldron/ocaml-sdl/curr
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries
Sorry for taking so much time to reply...
Le 26/03/2012 10:23, Hendrik Tews a écrit :
> I believe I fixed all the issues in the package hol-light.
> [...]
It looks good from a technical point of view. However:
- Jordan/float.ml is copyright Thomas C. Hales, and under a different
license (GPL
Le 24/04/2012 23:56, Hendrik Tews a écrit :
> there is a new upstream svn commit that fixes the license issues.
> The package contains now this latest version together with a
> rather long copyright file, that lists all the exceptions form
> the general hol light license.
Thank you for taking care
Le 05/05/2012 13:48, a...@debian.org a écrit :
> this is a follow-up message to your Apache 2.4 transition bug for
> package ocamlnet. We are approaching an upload of the web server to
> Debian's Unstable repository as soon as the release team acknowledges
> the upload. Along that upload we are pla
Le 11/05/2012 13:51, Hendrik Tews a écrit :
> I uploaded fixes for bugs #452340 and #671559 to the ocaml git
> repository. I hope fixing bugs this way is fine.
Sure.
> Regarding 671559 and the use of debian-pkg-add-load-path-item I
> added Pre-Depends: emacsen-common (>= 1.4.14) to ocaml-mode.
>
Le 15/05/2012 11:34, Hendrik Tews a écrit :
> the DOM git repository contains the first version of the
> prooftree package, see
> http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
>
> Comments are welcome. [...]
Why do you need to override dh_gencontrol?
I think there are sections
Le 23/05/2012 16:46, Hendrik Tews a écrit :
>Please target experimental and add a versioned dependency to Coq.
>
> Could you explain your reasoning?
>
> My suggestion is to have prooftree in wheezy without a dependency
> to Coq for the case that wheezy gets released before Coq 8.4. In
> this
Le 23/05/2012 23:14, Hendrik Tews a écrit :
> I've updated the otags package. The new upstream version has
> support for parser hints in order to solve the problem of
> parsing errors in /usr/lib/ocaml, see
> http://lists.debian.org/debian-ocaml-maint/2012/03/msg00064.html
Don't you want to wait f
On 31/05/2012 10:26, Hendrik Tews wrote:
as the subject says ... I packaged a new upstream version,
deleted and added some packages. The testsuit run successfully in
15 hours.
Uploaded.
A comment, though: in the git repository, you unapplied the patches,
imported the new upstream version, the
Le 28/05/2012 20:34, Olivier Andrieu a écrit :
>>> http://svnweb.mageia.org/packages/cauldron/ocaml-
>>> sdl/current/SOURCES/dllsdlgfxstub.so-objs-src-
>>> ocamlsdl-0.8.0.patch?revision=226883&view=markup
>>>
>>> http://svnweb.mageia.org/packages/cauldron/ocaml-sdl/current/SOURCES/META-
>>> require
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
Package: mldonkey-server
Version: 3.1.1-1
Severity: wishlist
Le 18/05/2012 07:12, William F. a écrit :
> Why don't you compile binary packages with upnp support as default?
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact
Le 18/05/2012 07:12, William F. a écrit :
> Why don't you compile binary packages with upnp support as default?
I am not aware of a specific reason. Feel free to submit a patch, or be
patient.
You should file a bug for this kind of requests. I've submitted one for
you. Please use its mail address
Le 21/05/2012 19:13, Pierre Boutillier a écrit :
> I use recently bind function in lablgtk but I can't check that it is
> lablgtk 2.14.2 that is installed because the META file says it is 2.14.0.
I'm fine with fixing the META file...
> Upstream proposes now a much more complete META file that fix
: Debian OCaml Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml
: Debian OCaml Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml
Le 21/05/2012 19:13, Pierre Boutillier a écrit :
> I use recently bind function in lablgtk but I can't check that it is
> lablgtk 2.14.2 that is installed because the META file says it is 2.14.0.
This is a bug indeed.
> Upstream proposes now a much more complete META file that fixes several
> is
Le 05/06/2012 00:29, Lucas Nussbaum a écrit :
> Source: mlpost
> Version: 0.8.1-2
> [...]
>> + mkdir -p img/ && cd img/ && ../customdoc/img_doc.byte >> /dev/null && cd ..
>> Command exited with code 1.
>> make[2]: *** [doc] Error 10
Some observations:
- mlpost compiles in a sid snapshot of 20120
Le 12/06/2012 21:03, Eric Cooper a écrit :
> Has anyone rebuilt the compiler and library packages with ocaml
> 4.0 yet? Is it anywhere I can point my apt sources at?
Not that I am aware of.
I am currently working on the ocaml package itself, and I hope to upload
a new version to experimental soo
Le 23/05/2012 23:55, Eric Cooper a écrit :
> dpkg-shlibdeps: warning: package could avoid a useless dependency if
> debian/approx/usr/sbin/approx-gc debian/approx/usr/sbin/approx-import
> debian/approx/usr/sbin/approx were not linked against librt.so.1 (they
> use none of the librar
Le 05/06/2012 17:43, Olivier Andrieu a écrit :
>>> I've made a new tarball release (0.9.0).
>>
>> Thanks. What about the first patch? It still applies to 0.9.0...
>
> AFAICT it's just a workaround for the same issue (typo in the META
> file that prevented the
> inclusion of the dependency).
I was
Le 18/06/2012 00:27, Florent Monnier a écrit :
> In the current ocamlsdl the libs "libsdlgfxstub.a" and "dllsdlgfxstub.so"
> uses
> functions that are defined in "common.c" but these libs are built without
> "common.o".
>
> Now the module "Sdlgfx" in made to work with "Sdlvideo" which stub is b
Le 18/06/2012 20:17, Florent Monnier a écrit :
> Even if it's an ocaml bug, don't you think that we should try to do something?
> [...]
> Please tell-me what you think.
I don't consider this a bug, merely an unfortunate (and "well known" :)
behaviour.
IMHO, the proper fix is to put the calls to C
Le 18/06/2012 21:21, Florent Monnier a écrit :
>>> Even if it's an ocaml bug, don't you think that we should try to do
>>> something? [...]
>>> Please tell-me what you think.
>>
>> I don't consider this a bug, merely an unfortunate (and "well known" :)
>> behaviour.
>>
>> IMHO, the proper fix is to
Le 21/06/2012 13:45, Hendrik Tews a écrit :
> I probably have some time left before June 30. If there is
> something where I could help, just tell.
I've got nothing specific in mind, but a few pointers.
All bug reports (in Debian and Ubuntu) against packages maintained by
the team are accessible
Le 22/06/2012 22:46, Ed Schwartz a écrit :
> Using debian's ocamlc:
>
> ed@debian:~/ocaml-3.12.1$ ocamlc -custom test.ml -o test.out
> ed@debian:~/ocaml-3.12.1$ ocamlrun test.out
> Fatal error: the file test.out is not a bytecode executable file
Why do you use -custom if your executable works wit
Le 22/06/2012 22:46, Ed Schwartz a écrit :
> Using debian's ocamlc:
>
> ed@debian:~/ocaml-3.12.1$ ocamlc -custom test.ml -o test.out
> ed@debian:~/ocaml-3.12.1$ ocamlrun test.out
> Fatal error: the file test.out is not a bytecode executable file
Why do you use -custom if your executable works wit
Le 23/06/2012 00:04, Ed Schwartz a écrit :
>>> Why do you use -custom if your executable works with plain ocamlrun?
>
> The Makefile that we use (https://bitbucket.org/mmottl/ocaml-makefile)
> uses -custom by default. Several libraries we link to also use
> -custom.
>
>> See /usr/share/doc/ocaml
Le 25/06/2012 17:39, Ed Schwartz a écrit :
> 3. As a developer, I should not need to incorporate Debian specific
> hacks into my project, such as using OCAML_COMPAT. If Debian needs to
> change or break the behavior of standard, open source tools, the
> Debian scripts should be changed to opt-in t
Le 25/06/2012 22:38, Romain Beauxis a écrit :
> Not sure where to report this, and also I don't have a lot of time to
> investigate..
>
> If you compare:
> http://packages.debian.org/sid/armel/liquidsoap/filelist
> and
> http://packages.debian.org/sid/armhf/liquidsoap/filelist
>
> You'll see
On 22/07/2012 21:22, Aurelien Jarno wrote:
> /usr/lib/ocaml/stublibs/dllthreads.so is not correctly linked with
> libpthread, so pthread_atfork() which should be linked statically is
> undefined and resolved at link time for architectures having a
> GLIBC_2.2.5 compatibility version of this symbol
Le 15/07/2012 12:26, Florian Hatat a écrit :
> Fixing the bug is easy: one only need to replace CFLAGS with LFLAGS in
> the definition of CheckCLib (lib/configure/Configure.om).
>
> Upstream bug: http://bugzilla.metaprl.org/cgi-bin/show_bug.cgi?id=738
Did you send the patch upstream?
Cheers,
-
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
Le 21/09/2012 03:38, Sylvain Le Gall a écrit :
> It is not a big news that I am a lot less involved in Debian. I wish
> to focus on OASIS a lot more and in order to do that I need to give up
> on certain tasks. I remove myself as an uploader from most of my
> packages. [...]
Thank you for your pas
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
Le 23/10/2012 18:00, Engil Hramn a écrit :
> I was facing some bugs with my installation of js_of_ocaml, and after
> checking
> the library version with ocamlfind, I found out that the version
> installed on
> my system was 1.1.1, and not 1.2.
> I checked the package's sources to confirm it and the
Dear Release Team,
Bug #691257 made me realize that the upstream tarball of the Debian
package is not the same as the one currently available on the upstream
website, and the contents does not match tag 1.2 in the upstream
repository either.
There is one commit missing. It changes only changelog
Le 26/10/2012 09:49, Stéphane Glondu a écrit :
> I'll ask the release team whether the upstream tarball itself can be
> updated at this stage...
Well, it appears that the upstream tarball doesn't match the upstream
tag and includes an additional commit (addition of module
Lwt_js_e
Le 19/11/2012 13:23, Iain Lane a écrit :
> [...] The deduplication is required not for ben but
> for edos-debcheck (it's interested in finding solutions in the whole
> repository but for the transition case we only want to know about
> solutions involving the newest packages). [...]
ben should ded
Le 03/12/2012 03:26, m...@panix.com a écrit :
> On Tue, Nov 27, 2012 at 09:16:07AM -0500, Eric Cooper wrote:
>> I've been maintaining the OCaml syslog library for Debian
>> (although I may drop it now that ocamlnet includes a Syslog module).
>
> There's a Syslog module in Jane Street Core (extende
Le 26/06/2011 17:47, Ian Zimmerman a écrit :
> So yes, I'd say that the fact the dependency is too loose to catch this
> pernicious problem on a system configured this way is a bug. (I'm not
> asking for "support" beyond fixing bugs, though) ;-)
In my opinion, the versioned dependency to libev-de
Maintainers
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for
Le 17/01/2013 12:42, Jonathan Wiltshire a écrit :
> Recently you fixed one or more security problems and as a result you closed
> this bug. These problems were not serious enough for a Debian Security
> Advisory, so they are now on my radar for fixing in the following suites
> through point release
Le 05/03/2013 16:35, Niels Thykier a écrit :
> Does ELF binaries produced by "pure" Ocaml have any distinct feature
> that can be used to tell them apart from any other ELF binary?
ELF binaries produced by the OCaml compiler always include a bit of C
code (the runtime), so they are never actually
Le 06/03/2013 09:37, Hendrik Tews a écrit :
> In principle I agree, that programs written in a certain subset
> of OCaml do not need these hardening features. However, at the
> moment this safe subset is not even identified...
OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo
outpu
Le 06/03/2013 10:48, Hendrik Tews a écrit :
>OCaml has a built-in notion of "unsafe" feature (see ocamlobjinfo
>output) that could serve as a starting point for that.
>
> Yes, I tried this on
>
> let f b =
> let a = "abcde" in
> let c = Obj.magic b in
> String.un
tags 691683 + upstream fixed-upstream pending
thanks
Le 28/10/2012 17:48, Matteo Settenvini a écrit :
> recently, ocaml 4 has hit experimental. Due to a change in the hashing
> algorithm[1], unison needs to be rebuilt against it, or it won't sync
> with other instances (for example, unison from Fe
Le 13/04/2013 04:52, Michael Biebl a écrit :
> since I'd like to use the new -repeat watch functionality in unison, it
> would be great if you can package a more recent version in experimental.
The latest upstream (stable) version is 2.40.102 [1] and it does not
include the patch you're referring
Le 17/04/2013 18:52, Thorsten Glaser a écrit :
> fail
>
> /bin/sh: 1: bc: not found
>
> probably missing build-depends on bc
This is not what makes the build fail (the message appears everywhere
else), but... well spotted!
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-
Le 20/04/2013 11:48, Matej Kosik a écrit :
> [...] there is a new bitstring version:
> https://bitstring.googlecode.com/files/ocaml-bitstring-2.0.3.tar.gz
> [...]
> I would like to ask, what are your plans concerning this?
> Is it currently being "watch"-ed?
Yes.
Currently, there are many out-of-
Le 18/04/2013 16:41, Matthias Klose a écrit :
> So what is the status for some runtimes/interpreters (would like to see some
> follow-up/corrections from package maintainers)?
> [...]
> - Lua, Ocaml, Haskell, Guile, ... ?
First, let me explain a few notions that will be useful to grasp the
situat
Le 07/05/2013 10:46, Christoph Martin a écrit :
>> W: sks: hardening-no-relro usr/lib/sks/sks_add_mail
>> W: sks: hardening-no-fortify-functions usr/lib/sks/sks_add_mail
>> W: sks: hardening-no-relro usr/sbin/sks
>> W: sks: hardening-no-fortify-functions usr/sbin/sks
>> [...]
>
> I had a quick loo
Le 04/05/2013 18:13, Arno Töll a écrit :
> now that the work is done and Debian 7.0 (Wheezy) is released [*], we
> are booting the Apache 2.4 transition process again. If you did not
> already, please subscribe to transition bug #661958 to keep up with our
> transition plan in detail as this IS goi
Package: apache2-prefork-dev
Version: 2.2.22-13
Severity: normal
Dear Maintainer,
$ apxs2 -q LIBEXECDIR
Use of uninitialized value $includedir in concatenation (.) or string at (eval
9) line 1.
/usr/lib/apache2/modules
Cheers,
--
Stéphane
-- System Information:
Debian Release: 7.0
APT pr
Hello,
During the freeze, a new major version of OCaml has been released. The
current version is 4.00.1 (already in experimental, the one in sid is
3.12.1). It breaks some packages, and many of those have been fixed
upstream meanwhile. It seems that most of the times, fixes are
backward-compatible
Maintainers
Changed-By: Stéphane Glondu
Description:
libcalendar-ocaml - OCaml library providing operations over dates and times
libcalendar-ocaml-dev - OCaml library providing operations over dates and times
libcalendar-ocaml-doc - OCaml library providing operations over dates and times
Changes
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Le 08/05/2013 14:37, Lifeng Sun a écrit :
> I am a DM, and tried to upgrade about 20 OCaml-related packages in
> my own repo. Here is a summary of my works,
>
>
> * packages with latest version compatible with ocaml-3.12 [...]
>
> * packages with
Changed-By: Stéphane Glondu
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-ocaml - runtime libraries for Coq
Le 07/05/2013 09:25, Ralf Treinen a écrit :
> I am trying to push to alioth the removal of a bogus branch, but this
> is refused.
>
> % git push origin :master-experimental
> remote: *** Deleting a branch is not allowed in this repository
> remote: error: hook declined to update refs/heads/master
Le 08/05/2013 21:49, Sylvain Le Gall a écrit :
>> [1] https://wiki.debian.org/Teams/OCamlTaskForce/OCamlTransition
>
> The page is 404.
Oops... I forgot the final "s":
https://wiki.debian.org/Teams/OCamlTaskForce/OCamlTransitions
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-r
Le 07/05/2013 12:29, Stéphane Glondu a écrit :
>> now that the work is done and Debian 7.0 (Wheezy) is released [*], we
>> are booting the Apache 2.4 transition process again. If you did not
>> already, please subscribe to transition bug #661958 to keep up with our
>> tran
Le 09/05/2013 20:47, Florent Monnier a écrit :
> there are broken links at the end of this page:
> http://wiki.debian.org/Teams/OCamlTaskForce
Removed.
> Also, is Sylvain still member of the Task force as mentioned there?
I'll let him answer by himself...
Cheers,
--
Stéphane
--
To UNSUBSCR
Package: ftp.debian.org
Severity: normal
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/20130511094843.27303.16949.report...@korell.up7.fr
Package: ftp.debian.org
Severity: normal
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
http://lists.debian.org/20130511100013.28596.15547.report...@korell.up7.fr
Le 17/05/2013 14:47, Hendrik Tews a écrit :
> I updated the hol-light package in the git repository with a new
> upstream version and some fixes, including OCaml 4 compatibility.
> As usual, the package passes the test suite, running for 18 hours
> now. The hol-light PTS page lists a lintian error,
Le 23/05/2013 05:45, Prach Pongpanich a écrit :
> Packaging a new upstream 2.2.0:
Sorry for taking so long, but I wanted to look at the whole thread
first... which I haven't done so far. Anyway, since you've been waiting
for some time now, I've just directly looked at your package without
looking
Le 23/05/2013 13:13, Arno Töll a écrit :
> we are ready to upload Apache2 2.4 to Debian Sid now. This means the
> transition is effectively starting now, and going to break your modules.
There are currently ~20 source entangled OCaml-related packages waiting
to migrate to testing (see "Ocsigen" se
Le 23/05/2013 13:57, Arno Töll a écrit :
> please coordinate this in #661958. I got an ACK of the Release Team, so
> I don't know if they had your issue on the radar or not. Either way, I
> know nothing about OCaml and your transition.
See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=666825#47
Le 24/05/2013 10:09, Prach Pongpanich a écrit :
> Thanks for your review and suggestion, I have done all of the above.
Your Replaces/Breaks clause is always satisfied, even in oldstable...
isnt't? If so, it is pointless and you should remove it.
Does ocamlrss actually install files in the same lo
Le 24/05/2013 16:22, Florent Monnier a écrit :
> [...]
>> You say "LGPL-3+" in debian/copyright whereas it is written "LGPL-3" (no
>> "or later" clause) everywhere else. Please fix.
>
> There are currently these kind of issues in some currently included packages.
Feel free to file bugs about this
Le 25/05/2013 06:23, Prach Pongpanich a écrit :
> http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocamlrss.git
Uploaded.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.or
Control: tag -1 moreinfo
Le 26/05/2013 11:13, ZeroBeat a écrit :
> Package: mldonkey-server
> Version: 3.1.2-1
> File: /usr/bin/mlnet
> Severity: minor
> Tags: upstream
How is that a bug?
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subj
Le 27/05/2013 11:29, Hendrik Tews a écrit :
> I updated the uuidm package in the repository. I imported a new
> upstream version and added a man page.
Uploaded.
Please consider submitting the man page upstream.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@list
On 17/05/2013 15:13, Stéphane Glondu wrote:
I updated the hol-light package in the git repository with a new
upstream version and some fixes, including OCaml 4 compatibility.
As usual, the package passes the test suite, running for 18 hours
now. The hol-light PTS page lists a lintian error
On 22/05/2013 12:54, Hendrik Tews wrote:
I updated the ounit package in the git repository. I imported
version 1.1.2 and changed the standards version and debhelper
compat level. [...]
Uploaded.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
wit
Le 27/05/2013 16:57, Sylvain Le Gall a écrit :
> Writing this email is not really easy for me. Over the past couple of
> years, I wished to devote more time to Debian and my OSS activities. I
> must acknowledge that this is beyond what I can do.
>
> So rather than continue to lie and send false si
Le 28/05/2013 11:55, Hendrik Tews a écrit :
> I updated camlmix package in the git repo. I imported a new
> upstream version, changed to native compilation and improved some
> other points. I told the upstream author already about the points
> that are of interest for him.
Uploaded.
--
Stéphane
Le 17/05/2013 17:30, Hendrik Tews a écrit :
> I updated the prooftree package in the DOM repository at
> http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
> It contains now the latest version and has correct dependencies
> on coq and proofgeneral. I tested it in unstable. It should al
601 - 700 of 2282 matches
Mail list logo
