Bug#508468: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

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 th

Bug#508468: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

.11. Some people in the Coq development team are currently working on it. The basic idea is that the ML part of ssreflect will be compiled into a plugin (.cmxs) that will be dynamically loaded by Coq when needed. Cheers, -- Stéphane Glondu -- To UNSUBSCRIBE, email to debian-wnpp-requ...@list

Bug#508468: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

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

Bug#512658: ITP: coccinelle -- semantic patching tool for C

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

Bug#512834: ITP: ocaml-autoconf -- autoconf macros for OCaml

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 o

Bug#513972: ITP: mlpost -- Objective Caml interface to Metapost

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: http://git.debian.org/?p=pkg-ocaml-maint/packages/mlpos

Bug#513972: ITP: mlpost -- Objective Caml interface to Metapost

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

Bug#476247: ITP: biniax2 -- logic game with arcade and tactics modes

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

Bug#476247: ITP: biniax2 -- logic game with arcade and tactics modes

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 archi

Bug#486000: ecki is retiring (Debian RT)

ill take care of this package, with Vincent's agreement and sponsorship. Cheers, -- Stéphane Glondu signature.asc Description: OpenPGP digital signature

Bug#550754: ITP: obus -- pure OCaml implementation of DBus

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: obus Version : 1.0~rc1 Upstream Author : Jérémie Dimino * URL : http://obus.forge.ocamlcore.org/ * License : BSD Programming Lang: OCaml Description : pure OCaml impl

Bug#552366: ITP: ocaml-usb -- OCaml bindings to libusb-1.0

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ocaml-usb Version : 0.1 Upstream Author : Jérémie Dimino * URL : http://ocaml-usb.forge.ocamlcore.org * License : BSD-C3 Programming Lang: C, OCaml Description : OCam

Bug#511899: Any progress on packaging new upstream?

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

Bug#1078675: ITP: ocaml-digestif -- hashes implementations

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-digestif Version : 1.2.0 Upstream Contact: Eyyüb Sari and Romain Calascibetta * URL : https://github.com

Bug#1078789: ITP: ocaml-ohex -- OCaml library for hexadecimal encoding and decoding

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-ohex Version : 0.2.0 Upstream Contact: Hannes Mehnert * URL : https://opam.ocaml.org/packages/ohex/ * License

Bug#1076365: ITP: opam-0install-cudf -- Opam solver using 0install backend using the CUDF interface

Le 16/08/2024 à 14:56, Kate Deplaix a écrit : Just a small update: a new version has been released: 0.5.0 https://github.com/ocaml-opam/opam-0install-cudf/releases/tag/v0.5.0 Thanks. I've updated the package to point to th

Bug#1079269: ITP: ocaml-intrinsics-kernel -- a library of intrinsics for OCaml

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-intrinsics-kernel Version : 0.17.1 Upstream Contact: Jane Street developers * URL : https://github.com

Bug#1081257: ITP: ocaml-kdf -- key derivation functions in OCaml

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-kdf Version : 1.0.0 Upstream Contact: Alfredo Beaumont, Hannes Mehnert * URL : https://github.com/robur-coop

Bug#1041684: ITP: not-ocamlfind -- front-end to ocamlfind to add a few new commands

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: not-ocamlfind Version : 0.10 Upstream Contact: Chet Murthy * URL : https://github.com/chetmurthy/not-ocamlfind

Bug#1042958: ITP: camlp5-buildscripts -- Camlp5 build scripts

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: camlp5-buildscripts Version : 0.02 Upstream Contact: Chet Murthy * URL : https://github.com/camlp5/camlp5

Bug#1043110: ITP: ocaml-randomconv -- convert from random byte vectors to random native numbers

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-randomconv Version : 0.1.3 Upstream Contact: Hannes Mehnert * URL : https://github.com/hannesm/randomconv

Bug#1049405: ITP: pcre2-ocaml -- OCaml bindings for PCRE2

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: pcre2-ocaml Version : 0.0.0~git20230408 * URL : https://github.com/tobil4sk/pcre2-ocaml * License : LGPL-2.1

Bug#1052492: ITP: ppx-stable-witness -- stable witness derivation

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ppx-stable-witness Version : 0.16.0 Upstream Contact: Jane Street Group, LLC * URL : https://github.com/janestreet

Bug#1052493: ITP: ppx-string -- string interpolation

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ppx-string Version : 0.16.0 Upstream Contact: Jane Street Group, LLC * URL : https://github.com/janestreet

Bug#1030564: ITP: ocaml-uuseg -- unicode text segmentation for OCaml

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-uuseg Version : 15.0.0 Upstream Contact: The uuseg programmers * URL : https://erratique.ch/software/uuseg

Bug#1064002: ITP: ocaml-crunch -- convert a filesystem into a static OCaml module

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-crunch Version : 3.3.1 Upstream Contact: Anil Madhavapeddy * URL : https://github.com/mirage/ocaml-crunch

Bug#1006262: ITP: camlp-streams -- Stream and Genlex libraries for use with Camlp4 and Camlp5

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: camlp-streams Version : 5.0 Upstream Author : Daniel de Rauglaudre and Xavier Leroy * URL : https://github.com

Bug#1006711: ITP: js-of-ocaml-ocamlbuild -- compiler from OCaml bytecode to JavaScript (ocamlbuild plugin)

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: js-of-ocaml-ocamlbuild Version : git Upstream Author : Jacques-Pascal Deplaix * URL : https://github.com/ocsigen

Bug#1075934: ITP: ocamlformat -- auto-formatter for OCaml code

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocamlformat Version : 0.26.2 Upstream Contact: Tarides * URL : https://github.com/ocaml-ppx/ocamlformat * License

Bug#1075935: ITP: ocaml-version -- handle OCaml compiler version strings

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-version Version : 3.6.7 Upstream Contact: Anil Madhavapeddy * URL : https://github.com/ocurrent/ocaml

Bug#1076364: ITP: 0install-solver -- package dependency solver

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: 0install-solver Version : 2.18 Upstream Contact: Thomas Leonard * URL : https://github.com/0install/0install

Bug#1076365: ITP: opam-0install-cudf -- Opam solver using 0install backend using the CUDF interface

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: opam-0install-cudf Version : 0.4.3 Upstream Contact: Thomas Leonard * URL : https://github.com/ocaml-opam/opam

Bug#1076366: ITP: ocaml-spdx-licenses -- library providing a strict SPDX License Expression parser

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-spdx-licenses Version : 1.2.0 Upstream Contact: Kate * URL : https://github.com/kit-ty-kate/spdx_licenses

Bug#1076367: ITP: ocaml-swhid-core -- OCaml library to work with swhids

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-swhid-core Version : 0.1 Upstream Contact: OCamlPro * URL : https://github.com/ocamlpro/swhid_core * License

Bug#611895: ITP: django-kombu -- Kombu transport using the Django database as a message

Fladischer Michael wrote: > * Package name: django-kombu > Version : 0.9.1 > Upstream Author : Ask Solem > * URL : http://github.com/ask/django-kombu/ > * License : BSD > Programming Lang: Python > Description : Kombu transport using the Django database

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

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

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

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

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

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

Bug#526350: python-celery-2.3.1

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? C

Bug#567885: ITP: ocaml-melt -- LaTeX with OCaml

Le 01/02/2010 00:30, Stephane Glondu a écrit : * Package name: ocaml-melt Version : 1.2.0 Upstream Author : Romain Bardou * URL : http://melt.forge.ocamlcore.org/ * License : BSD Programming Lang: OCaml Description : LaTeX with OCaml Status update

Bug#605487: ITP: aac-tactics -- Coq tactics for reasoning modulo AC

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: aac-tactics Version : 0.1 Upstream Author : Thomas Braibant, Damien Pous * URL : http://sardes.inrialpes.fr/~braibant/aac_tactics/ * License : LGPL-3+ Programming Lang:

Bug#633953: ITP: tyxml -- typed XML in OCaml

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 D

Bug#633953: ITP: tyxml -- typed XML in 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

Bug#635170: ITP: ocaml-config-file -- OCaml library for managing configuration files

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ocaml-config-file Version : 1.0 Upstream Author : Maxence Guesdon * URL : http://config-file.forge.ocamlcore.org/ * License : LGPL-2+ Programming Lang: OCaml Description

Bug#635586: ITP: lablgtk-extras -- collection of modules for OCaml/LablGtk2 applications

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: lablgtk-extras Version : 1.0 Upstream Author : Maxence Guesdon * URL : http://gtk-extras.forge.ocamlcore.org/ * License : LGPL-2+ Programming Lang: OCaml D

Bug#636019: RFA: galax -- XQuery implementation with static typing

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 o

Bug#636021: RFA: pxp -- OCaml library that implements an XML-1.0 validating parser

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 our

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

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 ve

Bug#731511: RFA: xstrp4 -- camlp4 extension that expands brace expansions in OCaml string

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

Bug#731586: RFA: facile -- functional constraint library implemented in OCaml

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

Bug#731590: RFA: ocaml-inifiles -- read and write .ini files for OCaml

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 particul

Bug#731598: ITP: camldbm -- binding to the NDBM/GDBM Unix databases

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" 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

Bug#733101: RFA: apron -- abstract interpretation library

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 o

Bug#777609: ITP: nproc -- process pool implementation for OCaml

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: nproc Version : 0.5.1 Upstream Author : MyLife * URL : https://github.com/MyLifeLabs/nproc * License : BSD-3-clause Programming Lang: OCaml Description : pr

Bug#778521: ITP: camlp4 -- Pre Processor Pretty Printer for OCaml

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 Pret

Bug#779039: ITP: labltk -- OCaml bindings to Tcl/Tk

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: labltk Version : 8.06.0 Upstream Author : Inria * URL : https://forge.ocamlcore.org/projects/labltk/ * License : LGPL Programming Lang: C, OCaml Description : OCaml b

Bug#779574: ITP: ppx-tools -- tools for authors of OCaml syntactic tools

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 :

Bug#803257: ITP: reactivedata -- FRP with incremental changes in data structures

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: reactivedata Version : 0.1 Upstream Author : Hugo Heuzard * URL : https://github.com/ocsigen/reactiveData * License : LGPL Programming Lang: OCaml Description

Bug#717786: RFA: camomile -- Unicode library for OCaml

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 wit

Bug#717787: RFA: ocaml-http -- OCaml library for writing HTTP servers

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 w

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

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 wi

Bug#791658: ITP: uutf -- OCaml UTF streaming codec

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 streaming co

Bug#610392: ITP: js-of-ocaml -- OCaml bytecode to JavaScript compiler

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: js-of-ocaml Version : 1.0 Upstream Author : Jérôme Vouillon * URL : http://ocsigen.org/js_of_ocaml/ * License : LGPL-2+ Programming Lang: OCaml, JavaScript Description

Bug#587982: glmlite: changing back from ITP to RFP

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 packagin

Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 Description

Bug#587982: glmlite: changing back from ITP to RFP

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 > http://svn.mandriv

Bug#615158: Progress?

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: http://git.debian.org/?p=pkg-ocaml-m

Bug#752051: ITP: ocaml-ipaddr -- library for manipulation of IP (and MAC) address representations

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 L

Bug#859723: ITP: belenios -- verifiable voting system

Package: wnpp Severity: wishlist Owner: =?utf-8?q?St=C3=A9phane_Glondu?= * Package name: belenios Version : 1.4 Upstream Author : Stéphane Glondu * URL : http://www.belenios.org/ * License : AGPL-3+ Programming Lang: OCaml Description : verifiable

Bug#880541: Bug#880449: unison: Uncaught exception Failure("input_value: bad bigarray kind")

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 version

Bug#832174: ITP: js-build-tools -- collection of tools to help building Jane Street Packages

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: js-build-tools Version : 113.33.04 Upstream Author : Jane Street Holding, LLC * URL : https://github.com/janestreet/js-build-tools * License : Apache-2.0 Programming L

Bug#870130: ITP: jbuilder -- composable build system for OCaml projects

Package: wnpp Severity: wishlist Owner: Stéphane Glondu * Package name: jbuilder Version : 1.0~beta11 Upstream Author : Jane Street Group, LLC * URL : https://github.com/janestreet/jbuilder * License : Apache-2.0 Programming Lang: OCaml Description

Bug#784050: RFA: ocaml-deriving -- deriving functions from type declarations in OCaml

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 coordinatio

Bug#832596: ITP: ppx-core -- standard library for ppx rewriters

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ppx-core Version : 113.33.03 Upstream Author : Jane Street Holding, LLC * URL : https://github.com/janestreet/ppx_core * License : Apache-2.0 Programming Lang: OCaml D

Bug#832881: ITP: ppx-deriving -- type-driven code generation for OCaml

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ppx-deriving Version : 3.3 Upstream Author : Peter Zotov * URL : https://github.com/whitequark/ppx_deriving * License : MIT Programming Lang: OCaml Description : t

Bug#832979: ITP: ppx-optcomp -- optional compilation for OCaml

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 Programming L

Bug#833353: ITP: ocaml-result -- compatibility Result module

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ocaml-result Version : 1.2 Upstream Author : Jane Street Group, LLC * URL : https://github.com/janestreet/result * License : BSD Programming Lang: OCaml D

Bug#833362: ITP: ppx-driver -- feature-full driver for OCaml AST transformers

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 Programming Lang: OCaml D

Bug#833495: ITP: ppx-type-conv -- support library for type-driven code generators

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 Programming L

Bug#833498: ITP: ppx-sexp-conv -- generation of S-expressions from type definitions

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 Programming L

Bug#834021: ITP: ocaml-base64 -- Base64 encoding and decoding OCaml library

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * Package name: ocaml-base64 Version : 2.0.0 Upstream Author : Thomas Gazagnaire * URL : https://github.com/mirage/ocaml-base64 * License : ISC Programming Lang: OCaml Description

Bug#735882: RFA: ocaml-dbus -- OCaml bindings for the D-Bus API X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org

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 w

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

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 u

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

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? Co

Bug#736908: ITP: optcomp -- syntax extension for optional compilation with cpp-like directives

Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" * 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 extension fo

Bug#636019: Bug#731398: galax: FTBFS with ocaml 4.01.0

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

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

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 curre

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

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 > libxe

Bug#735884: RFS: ocp-indent -- OCaml indentation tool for emacs and vim

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 "unsubscri

Bug#742613: ITP: ocaml-ctypes -- library for binding to C libraries using pure OCaml

Package: wnpp Severity: wishlist Owner: Stéphane Glondu * 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 : library

Bug#969043: ITP: ocaml-cstruct -- access C-like structures directly from OCaml

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-cstruct Version : 5.2.0 Upstream Author : Anil Madhavapeddy et al. * URL : https://github.com/mirage/ocaml

Bug#969042: ITP: ocaml-rresult -- result value combinators for OCaml

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-rresult Version : 0.6.0 Upstream Author : Daniel Bünzli * URL : http://erratique.ch/software/rresult

Bug#969045: ITP: ocaml-hex -- library providing hexadecimal converters

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-hex Version : 1.4.0 Upstream Author : Thomas Gazagnaire et al. * URL : https://github.com/mirage/ocaml-hex

Bug#969046: ITP: ocaml-trie -- strict impure trie tree

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-trie Version : 1.0.0 Upstream Author : ZAN DoYe * URL : https://github.com/kandu/trie * License : MIT

Bug#969069: ITP: ocaml-bigarray-compat -- compatibility library to use Stdlib.Bigarray when possible

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-bigarray-compat Version : 1.0.0 Upstream Author : Lucas Pluvinage * URL : https://github.com/mirage/bigarray

Bug#970010: ITP: ocaml-csexp -- parsing and printing of S-expressions in Canonical form

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-csexp Version : 1.3.1 Upstream Author : Jane Street Group, LLC * URL : https://github.com/ocaml-dune/csexp

Bug#970222: ITP: ocaml-graphics -- the OCaml graphics library

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-graphics Version : 5.1.0 Upstream Author : Xavier Leroy et al. * URL : https://github.com/ocaml/graphics

Bug#970626: ITP: ocaml-mew -- modal editing witch

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-mew Version : 0.1.0 Upstream Author : ZAN DoYe * URL : https://github.com/kandu/mew * License : MIT

Bug#970627: ITP: ocaml-mew-vi -- modal editing witch, VI interpreter

Package: wnpp Severity: wishlist Owner: Stéphane Glondu X-Debbugs-Cc: debian-de...@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-mew-vi Version : 0.5.0 Upstream Author : ZAN DoYe * URL : https://github.com/kandu/mew_vi * License

Bug#932166: RFA: cairo-ocaml -- OCaml bindings for Cairo

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

  1   2   >