MJ Ray a écrit :
RFC from debian-legal regarding the license:-
I would add that ssreflect is a plugin that is meant to be linked
(dynamically) to Coq (Coq being the main program), which is LGPL-2.1. I
haven't yet studied in much details any license-related incompatibilites
that might occur, but
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: obus
Version : 1.0~rc1
Upstream Author : Jérémie Dimino jere...@dimino.org
* URL : http://obus.forge.ocamlcore.org/
* License : BSD
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ocaml-usb
Version : 0.1
Upstream Author : Jérémie Dimino jere...@dimino.org
* URL : http://ocaml-usb.forge.ocamlcore.org
* License : BSD-C3
Programming Lang: C, OCaml
Eugeniy Meshcheryakov a écrit :
pycaml version in coccinelle is modified. Diff can be found in
pycaml/modif-orig.txt (not complete). The most important part,
it seems, is:
[...]
Is it possible to provide those functions in Debian pycaml package
(at least experimental)? I can make patch if
Stefano Zacchiroli a écrit :
Nevertheless, I don't want to package this together with the compiler
itself, because it would become painful to update.
What about putting it in dh-ocaml?
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of
Chris Walker a écrit :
The package below looks interesting - so I've added it as a
prospective package to the debian-science typesetting task.
What do you mean?
FYI, the package is almost ready at the Debian OCaml Team Git repository:
Chris Walker a écrit :
The package below looks interesting - so I've added it as a
prospective package to the debian-science typesetting task.
What do you mean?
That your package will shortly appear at:
http://cdd.alioth.debian.org/science/tasks/typesetting.html
To expand on this a
retitle 382880 atlas: new upstream stable version 3.8.3 released
severity 382880 normal
thanks
Yaroslav Halchenko wrote:
I hit segfault in one of the libraries used by new python-mdp
package and wondered if I should spend some time troubleshooting
it or I could may be try some decently fresh
MJ Ray a écrit :
I think we've consensus on software that uses CeCILL (upgradeable to
GPL, so meets DFSG) and we've discussed CeCILL-C, but what do we think
of B? My searches didn't find much discussion of it here, or any
packages in the archive using it yet. A copy follows. Please cc the
Fladischer Michael wrote:
* Package name: django-kombu
Version : 0.9.1
Upstream Author : Ask Solem a...@celeryproject.org
* URL : http://github.com/ask/django-kombu/
* License : BSD
Programming Lang: Python
Description : Kombu transport using the
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
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 with
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 12/03/2011 18:37, Michael Tautschnig a écrit :
As I'd be interested in getting a package into Debian that would at least
suggest Cil I was wondering whether you had already been successful in
packaging
Cil.
I've pushed a preliminary packaging to:
Le 01/02/2010 00:30, Stephane Glondu a écrit :
* Package name: ocaml-melt
Version : 1.2.0
Upstream Author : Romain Bardoubar...@lri.fr
* URL : http://melt.forge.ocamlcore.org/
* License : BSD
Programming Lang: OCaml
Description : LaTeX with OCaml
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: tyxml
Version : 1.91
Upstream Author : Thorsten Ohl, Vincent Balat, and others
* URL : http://ocsigen.org/tyxml/install
* License : LGPL
Programming Lang: OCaml
Le 15/07/2011 13:48, brian m. carlson a écrit :
* Package name: tyxml
Version : 1.91
Upstream Author : Thorsten Ohl, Vincent Balat, and others
* URL : http://ocsigen.org/tyxml/install
* License : LGPL
Programming Lang: OCaml
Description : typed
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ocaml-config-file
Version : 1.0
Upstream Author : Maxence Guesdon maxence.gues...@inria.fr
* URL : http://config-file.forge.ocamlcore.org/
* License : LGPL-2
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: lablgtk-extras
Version : 1.0
Upstream Author : Maxence Guesdon maxence.gues...@inria.fr
* URL : http://gtk-extras.forge.ocamlcore.org/
* License : LGPL-2+
Programming
Package: wnpp
Severity: normal
Hello,
Currently, galax has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, pxp has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
On Sun, 28 Aug 2011 11:22:03 +0200, Muharem Hrnjadovic wrote:
I packaged python-celery-2.3.1 (as well as some of the dependencies):
https://launchpad.net/~openquake/+archive/staging/+packages
How can I contribute it to debian?
Can someone with proper expertise review this, please?
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: js-of-ocaml
Version : 1.0
Upstream Author : Jérôme Vouillon jerome.vouil...@pps.jussieu.fr
* URL : http://ocsigen.org/js_of_ocaml/
* License : LGPL-2+
Programming Lang
Le 19/02/2011 18:08, Lucas Nussbaum a écrit :
This is an automatic email to change the status of glmlite back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 6 months.
I've started to package glmlite, and the basic packaging
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ocaml-cil
Version : 1.3.7
Upstream Author : George C. Necula and others
* URL : http://sourceforge.net/projects/cil/
* License : BSD
Programming Lang: OCaml
Le 27/02/2011 01:42, Florent Monnier a écrit :
It's true that some examples are made to work in the source tree, but I made
patches for this in the mandriva package and I have given yet the link for
this : http://lists.debian.org/debian-ocaml-maint/2010/03/msg00013.html
Miriam Ruiz wrote:
Where is the tarball with both the source and the data? I had to repackage it
because all I could find was the tarball with the code, and had to get the
data from the compiled release. It would be really much better if a proper
tarball was provided by upstream :)
It is on
Miriam Ruiz wrote:
It says: Download the source code of Biniax-2 (.zip archive 168KB). To have
fully functional game, you need to add the \data folder from the binary
distributions.
It says right after:
Source code complete with all the game data can be downloaded HERE as
.tar.gz archive
, with Vincent's agreement and sponsorship.
Cheers,
--
Stéphane Glondu
signature.asc
Description: OpenPGP digital signature
Package: wnpp
Severity: normal
Hello,
Currently, camomile has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-http has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Le 28/08/2013 20:41, Gabriel Kerneis a écrit :
I have worked on a new ocaml-cil package, from scratch. I am also the
new upstream for CIL and it has changed a lot since Stéphane first tried
to package it.
Thank you a lot for that!
My current version (ocaml-cil_1.7.3, not to be confused with
Le 04/09/2013 07:48, Stéphane Glondu a écrit :
I have worked on a new ocaml-cil package, from scratch. I am also the
new upstream for CIL and it has changed a lot since Stéphane first tried
to package it.
Thank you a lot for that!
My current version (ocaml-cil_1.7.3, not to be confused
Package: wnpp
Severity: normal
Hello,
Currently, xstrp4 has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, facile has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-inifiles has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
Control: block 731528 with -1
* Package name: camldbm
Version : 1.0
Upstream Author : INRIA
* URL : https://forge.ocamlcore.org/projects/camldbm/
* License : LGPL
Programming Lang: C
Package: wnpp
Severity: normal
Hello,
Currently, apron has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-dbus has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Control: owner -1 !
Le 18/01/2014 14:15, Johannes Schauer a écrit :
I am looking for sponsors for ocp-indent which I packaged and uploaded it
here:
dget -u https://mister-muffin.de/ocp-indent/ocp-indent_1.4.1-1.dsc
I'm sorry that it's not on mentors.debian.net but after an initial upload
Le 18/01/2014 15:32, Stéphane Glondu a écrit :
Control: owner -1 !
Sorry, this was an error. I thought it was an RFS bug. I restored your
ownership.
--
Stéphane
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: optcomp
Version : 1.5
Upstream Author : Jérémie Dimino
* URL : https://github.com/diml/optcomp
* License : BSD
Programming Lang: OCaml
Description : syntax
Control: tags 731398 + pending
Le 31/01/2014 16:26, Andreas Moog a écrit :
please find attached a patch from upstream that fixes the build against
ocaml 4.01. Since I'm not a DD, I can't upload myself.
Thanks for that. I've applied it in git... but do you know if upstream
is planning to make a
Le 27/02/2014 12:24, Johannes Schauer a écrit :
Have you considered joining the OCaml team on Alioth[1], and put your
packaging as a git repository there[2]?
[1] https://alioth.debian.org/projects/pkg-ocaml-maint/
[2] dom-new-git-repo(1), in package dh-ocaml
I committed my current status
Le 06/03/2014 14:57, Johannes Schauer a écrit :
I dont remember from where I got the splitting into libocp-indent-lib-ocaml
(with META and cma) and libocp-indent-lib-ocaml-dev (with all the rest) but
now
that I search for it I can see some packages which do it that way (for example
Le 06/03/2014 17:37, Johannes Schauer a écrit :
Should you not see any other problems with the packaging then I'm ready to get
sponsored :)
It's fine, I've just uploaded it.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ocaml-ctypes
Version : 0.2.3
Upstream Author : Jeremy Yallop
* URL : https://github.com/ocamllabs/ocaml-ctypes
* License : Expat
Programming Lang: C, OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ocaml-ipaddr
Version : 1.0.0
Upstream Author : David Sheets, Anil Madhavapeddy, Hugo Heuzard
* URL : https://github.com/mirage/ocaml-ipaddr
* License : ISC
Programming
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: nproc
Version : 0.5.1
Upstream Author : MyLife
* URL : https://github.com/MyLifeLabs/nproc
* License : BSD-3-clause
Programming Lang: OCaml
Description : process
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: camlp4
Version : 4.02.1+2
Upstream Author : Inria
* URL : https://github.com/ocaml/camlp4
* License : LGPL-2
Programming Lang: OCaml
Description : Pre Processor
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ppx-tools
Version : 0.99.2
Upstream Author : Alain Frisch, LexiFi
* URL : https://github.com/alainfrisch/ppx_tools
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: labltk
Version : 8.06.0
Upstream Author : Inria
* URL : https://forge.ocamlcore.org/projects/labltk/
* License : LGPL
Programming Lang: C, OCaml
Description
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: reactivedata
Version : 0.1
Upstream Author : Hugo Heuzard
* URL : https://github.com/ocsigen/reactiveData
* License : LGPL
Programming Lang: OCa
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: uutf
Version : 0.9.4
Upstream Author : Daniel C. Bünzli
* URL : http://erratique.ch/software/uutf
* License : BSD
Programming Lang: OCaml
Description : UTF
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ppx-deriving
Version : 3.3
Upstream Author : Peter Zotov <whitequ...@whitequark.org>
* URL : https://github.com/whitequark/ppx_deriving
* License
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ppx-optcomp
Version : 113.33.03
Upstream Author : Jane Street Holding, LLC
* URL : https://github.com/janestreet/ppx_optcomp
* License : Apache-2.0
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ppx-core
Version : 113.33.03
Upstream Author : Jane Street Holding, LLC <opensou...@janestcapital.com>
* URL : https://github.com/janestr
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ocaml-base64
Version : 2.0.0
Upstream Author : Thomas Gazagnaire <tho...@gazagnaire.com>
* URL : https://github.com/mirage/ocaml-base64
* License
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ppx-sexp-conv
Version : 113.33.03
Upstream Author : Jane Street Group LLC
* URL : https://github.com/janestreet/ppx_sexp_conv
* License : Apache-2.0
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ppx-type-conv
Version : 113.33.03
Upstream Author : Jane Street Group LLC
* URL : https://github.com/janestreet/ppx_type_conv
* License : Apache-2.0
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: js-build-tools
Version : 113.33.04
Upstream Author : Jane Street Holding, LLC <opensou...@janestcapital.com>
* URL : https://github.com/janestreet/js
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ppx-driver
Version : 113.33.03
Upstream Author : Jane Street Group LLC
* URL : https://github.com/janestreet/ppx_driver
* License : Apache-2.0
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: ocaml-result
Version : 1.2
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/result
* License : BSD
Program
Package: wnpp
Severity: wishlist
Owner: =?utf-8?q?St=C3=A9phane_Glondu?= <glo...@debian.org>
* Package name: belenios
Version : 1.4
Upstream Author : Stéphane Glondu <stephane.glo...@inria.fr>
* URL : http://www.belenios.org/
* License : AGPL-3+
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu <glo...@debian.org>
* Package name: jbuilder
Version : 1.0~beta11
Upstream Author : Jane Street Group, LLC <opensou...@janestreet.com>
* URL : https://github.com/janestreet/jbuilder
* License
Control: reassign -1 ftp.debian.org
Control: retitle -1 RM: ocaml-deriving -- RoM; unmaintained, obsolete...
On 02/05/2015 16:10, Sylvain Le Gall wrote:
> Currently, ocaml-deriving has no human maintainers. It is maintained by
> the
> Debian OCaml team because of the need of transition
Le 02/11/2017 à 01:30, Vincent Lefevre a écrit :
>> This is a known issue, and not easy to fix. Upstream is not interested
>> to make unison compatible with other versions of itself (or same version
>> compiled with another version of OCaml): Unison is designed to work only
>> with the same
Package: wnpp
Severity: normal
Hello,
Currently, yojson has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-fileutils has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-num
Version : 1.2
Upstream Author : Xavier Leroy
* URL : https://github.com/ocaml/num/
* License : LGPL 2.1 with OCaml linking exception
Programming Lang: OCaml, C
Description
Package: wnpp
Severity: normal
Hello,
Currently, biniou has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, caml2html has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: janest-ocaml-compiler-libs
Version : 0.12.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ocaml-compiler-libs
* License : Apache-2.0
Programming Lang
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppxlib
Version : 0.8.1
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/ocaml-ppx/ppxlib
* License : MIT
Programming Lang: OCaml
Description : meta-programming
Le 19/08/2019 à 02:40, Brett D a écrit :
> I would like to commit to being the maintainer of the onuit package.
> I am new to Debian, but I am a computer science undergrad and understand the
> very basics of package
> maintenance, UNIX-like infrastructure, and development practices.
> Please let
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-mmap
Version : 1.1.0
Upstream Author : Jérémie Dimino and Anton Bachin
* URL : https://github.com/mirage/mmap
* License : LGPL 2.1 with linking exception
Programming Lang: OCaml
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-stdcompat
Version : 10
Upstream Author : Thierry Martinez
* URL : https://github.com/thierry-martinez/stdcompat
* License : BSD
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: lwt-log
Version : 1.1.1
Upstream Author : Shawn Wagner and Jérémie Dimino
* URL : https://github.com/ocsigen/lwt_log
* License : LGPL-2.0+
Programming Lang: OCaml
Description : Lwt
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-charinfo-width
Version : 1.1.0
Upstream Author : ZAN DoYe
* URL : https://bitbucket.org/zandoye/charinfo_width/
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
User: debian-ocaml-ma...@lists.debian.org
Usertags: ocaml-4.08-transition
* Package name: ppxfind
Version : 1.3
Upstream Author : Jérémie Dimino
* URL : https://github.com/diml/ppxfind
* License : BSD
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocplib-endian
Version : 1.0
Upstream Author : Pierre Chambart
* URL : https://github.com/OCamlPro/ocplib-endian
* License : LGPL-2.1
Programming Lang: OCaml
Description : optimised
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-sexplib0
Version : 0.12.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/sexplib0
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-integers
Version : 0.3.0
Upstream Author : Jeremy Yallop and others
* URL : https://github.com/ocamllabs/ocaml-integers
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: janest-base
Version : 0.12.2
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/base
* License : MIT
Programming Lang: OCaml
Description : Full
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-stdio
Version : 0.12.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/stdio
* License : MIT
Programming Lang: OCaml
Description : Standard IO
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-expect has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in
Package: wnpp
Severity: normal
Hello,
Currently, ocaml-res has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Package: wnpp
Severity: normal
Hello,
Currently, ounit has no human maintainers. It is maintained by
the Debian OCaml team because of the need of transition coordination,
but needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, cppo has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, oasis has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, gd4o has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
with
Package: wnpp
Severity: normal
Hello,
Currently, cairo-ocaml has no human maintainers. It is maintained by the
Debian OCaml team because of the need of transition coordination, but
needs more love and a dedicated maintainer.
A potential maintainer should get familiar with [1], and in particular
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-domain-name
Version : 0.3.0
Upstream Author : Hannes Mehnert
* URL : https://github.com/hannesm/domain-name
* License : ISC
Programming Lang: OCaml
Description : RFC 1035
Le 21/01/2020 à 09:11, Ondřej Surý a écrit :
>> A domain name is a sequence of labels separated by dots, such as
>> foo.example. Each label may contain any bytes. The length of each
>> label may not exceed 63 charactes. The total length of a domain name
>> is limited to 253 (byte representation is
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-compare
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_compare
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-custom-printf
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_custom_printf
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-fields-conv
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_fields_conv
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ppx-variants-conv
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/ppx_variants_conv
* License : MIT
Programming Lang: OCaml
Description
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu
* Package name: ocaml-parsexp
Version : 0.13.0
Upstream Author : Jane Street Group, LLC
* URL : https://github.com/janestreet/parsexp
* License : MIT
Programming Lang: OCaml
Description : S
Le 19/02/2020 à 09:06, Ralf Treinen a écrit :
> - coq does not build on all architectures, and the situation for building
> coq has become worse starting with 8.11. Menhir however is a parser
> generator, like bison, and should be available on all architectures.
Could you elaborate? What
1 - 100 of 152 matches
Mail list logo