Bug#1038796: ITP: ocaml-pp -- pretty printing for OCaml applications

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ocaml-pp Version : 1.1.2 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/ocaml-dune/pp * License : expat Programming

Bug#1038795: ITP: ppx-expect -- testing framework for OCaml

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ppx-expect Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/ppx_expect * License : expat

Bug#1038785: ITP: ppx-inline-test -- syntax extension for in-line tests in OCaml

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ppx-inline-test Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/ppx_inline_test * License

Bug#1038782: ITP: ocaml-time-now -- current time for OCaml

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ocaml-time-now Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/time_now * License : expat

Bug#1038778: ITP: ppx-base -- base set of ppx rewriters

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ppx-base Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/ppx_base * License : expat

Bug#1038775: ITP: ppx-globalize -- copy local values to the global heap

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ppx-globalize Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/ppx_globalize * License

Bug#1038772: ITP: ppx-enumerate -- list all values of a finite type

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ppx-enumerate Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/ppx_enumerate * License

Bug#1038770: ITP: jst-config -- compile-time configuration for Jane Street packages

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: jst-config Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/jst-config * License : expat

Bug#1038698: ITP: jane-street-headers -- common header files for Jane Street projects

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: jane-street-headers Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/jane-street-headers * License

Bug#1038694: ITP: ppx-assert -- provide assertions in OCaml

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: ppx-assert Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com/janestreet/ppx_assert * License : expat

Bug#1038692: ITP: ppx-cold -- Provide the @cold annotation for OCaml

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, Debian OCaml Maintainers , jpu...@debian.org * Package name: ppx-cold Version : 0.16.0 Upstream Contact: opensource-conta...@janestreet.com * URL : https://github.com

Bug#1022549: RFP: python-hatch-nodejs-version -- Hatch plugin for versioning from a package.json file

Package: wnpp Severity: wishlist X-Debbugs-Cc: jpu...@debian.org, debian-pyt...@lists.debian.org * Package name: python-hatch-nodejs-version Version : 0.3.0 Upstream Author : Angus Hollands * URL : https://github.com/agoose77/hatch-nodejs-version * License :

Bug#1021300: ITP: ocaml-uucp -- access properties of Unicode characters

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-uucp Version : 15.0.0 Upstream Author : Daniel Bünzli * URL : https://erratique.ch/software

Bug#1021294: ITP: ocaml-uunf -- Unicode text normalization form library

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-uunf Version : 15.0.0 Upstream Author : Daniel Bünzli * URL : https://erratique.ch/software

Bug#1021293: ITP: ocaml-uucd -- decode data on Unicode characters off XML

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-uucd Version : 15.0.0 Upstream Author : Daniel Bünzli * URL : https://erratique.ch/software

Bug#1021269: ITP: ocaml-afl-persistent -- use afl-fuzz in persistent mode

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-afl-persistent Version : 1.3 Upstream Author : Stephen Dolan * URL : https://github.com

Bug#1021246: ITP: crowbar -- library to fuzz-test code

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, jpu...@debian.org, debian-ocaml-ma...@lists.debian.org * Package name: crowbar Version : 0.2.1 Upstream Author : Stephen Dolan * URL : https://github.com/stedolan

Bug#1019879: ITP: ppx-hash -- ppx writer generating hash functions

Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: ppx-hash Version : 0.15.0 Upstream Author : Jane Street Group, LLC * URL : https://github.com/janestreet

Bug#1019692: ITP: mathcomp-abel -- Abel-Galois and Abel-Ruffini theorems for Mathematical Components

Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: mathcomp-abel Version : 1.2.1 Upstream Author : Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub * URL

Bug#1015165: ITP: coq-record-update -- automatic record fields updaters for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-record-update Version : 0.3.1 Upstream Author : Tej Chajed * URL : https://github.com/tchajed/coq-record-update * License

Bug#1015021: ITP: coq-extructures -- data structures with extensional reasoning for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-extructures Version : 0.3.1 Upstream Author : Arthur Azevedo de Amorim * URL : https://github.com/arthuraa/extructures * License

Bug#1015020: ITP: coq-mtac2 -- Mtac2 tactic language for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-mtac2 Version : 1.4+8.15 Upstream Author : Jan-Oliver Kaiser and Beta Ziliani * URL : https://github.com/Mtac2/Mtac2 * License

Bug#1015018: ITP: coq-reduction-effects -- reduction effects for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-reduction-effects Version : 0.1.3 Upstream Author : Hugo Herbelin * URL : https://github.com/coq-community/reduction-effects * License

Bug#1015010: ITP: coq-deriving -- deriving MathComp classes from inductive types

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-deriving Version : 0.1.0 Upstream Author : Arthur Azevedo de Amorim * URL : https://github.com/arthuraa/deriving * License

Bug#1015000: ITP: coq-quickchick -- randomized testing framework for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-quickchick Version : 1.6.3 Upstream Author : Leonidas Lampropoulos, Zoe Paraskevopoulou, Maxime Denes, Catalin Hritcu, Benjamin Pierce, Li-yao Xia

Bug#1014997: ITP: coq-unimath -- univalent formalization of mathematics for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-unimath Version : 20220204 Upstream Author : Benedikt Ahrens, Daniel Grayson, Vladimir Voevodsky * URL : https://github.com/UniMath

Bug#1014993: ITP: coq-reglang -- representation of regular languages in Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-reglang Version : 1.1.3 Upstream Author : Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka * URL : https://github.com/coq-community

Bug#1014991: ITP: coq-relation-algebra -- relation algebra for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-relation-algebra Version : 1.7.7 Upstream Author : Damien Pous et al * URL : http://perso.ens-lyon.fr/damien.pous/ra * License

Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-unicoq Version : 1.6-8.15-1 Upstream Author : Beta Ziliani & Matthieu Sozeau * URL : https://github.com/unicoq/unicoq/ * Lic

Bug#1011648: Packaging still pending

Hi, I'm still working on the package ; I'm mostly stuck because there are incoherent licensing issues: https://github.com/ejgallego/coq-serapi/issues/266 Cheers, J.Puydt

Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-interval Version : 4.5.1 Upstream Author : Guillaume Melquiond et al * URL : https://coqinterval.gitlabpages.inria.fr/ * License

Bug#1014973: ITP: coq-hammer -- automated reasoning tool for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-hammer Version : 1.3.2+8.15 Upstream Author : Lukas Czajka, Cesary Kaliszyk * URL : https://coqhammer.github.io * License

Bug#1014969: ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-gappa Version : 1.5.2 Upstream Author : Guillaume Melquiond * URL : https://gappa.gitlabpages.inria.fr * License : LGPL-3

Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-libhyps Version : 2.0.5 Upstream Author : Pierre Courtieu * URL : https://www.github.com/Matafou/LibHyps * License : Expat

Bug#1014955: ITP: coq-corn -- Coq Constructive Repository at Nijmegen

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-corn Version : 8.13.0 Upstream Author : Bas Spitters (maintainer) * URL : https://github.com/coq-community/corn * License : GPL

Bug#1014940: ITP: coqprime -- Primality certification for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coqprime Version : 8.15 Upstream Author : * URL : https://github.com/thery/coqprime/ * License : LGPL-2.1 Programming Lang: C

Bug#1014921: ITP: coq-iris -- high-order concurrent separation logic framework for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-iris Version : 3.6.0 Upstream Author : iris developers and contributors * URL : https://gitlab.mpi-sws.org/iris/iris * License

Bug#1014610: ITP: ott -- Ott tool

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: ott Version : 0.32 Upstream Author : Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al * URL : https://github.com/ott-lang/ott

Bug#1014602: ITP: coq-menhirlib -- support library for verified Menhir parsers

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-menhirlib Version : 20220210 Upstream Author : Jacques-Henri Jourdan * URL : https://coquelicot.inria.fr/fpottier/menhir * License

Bug#1014585: ITP: coq-stdpp -- Extended standard library for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-stdpp Version : 1.7.0 Upstream Author : std++ team * URL : https://gitlab.mpi-sws.org/iris/stdpp * License : BSD-3-clause

Bug#1014583: ITP: coq-equations -- Coq library to work with functions defined by equations

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-equations Version : 1.3-8.15 Upstream Author : Matthieu Sozeau and Cyprien Mangin * URL : https://github.com/mattam82/Coq-Equations

Bug#1014572: ITP: coq-simple-io -- Coq plugin for purely functional IO

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-simple-io Version : 1.7.0 Upstream Author : Li-yao Xia * URL : https://github.com/coq-community/coq-simple-io * License : Expat

Bug#1014159: ITP: eprover -- Equational theorem prover

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian Math Team , jpu...@debian.org * Package name: eprover Version : 2.6 Upstream Author : Stefan Schulz * URL : https://eprover.org * License : LGPL-2.1+ Programming Lang: C Description

Bug#1014118: ITP: ocaml-pprint -- Pretty printing toolbox for OCaml

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: ocaml-pprint Version : 20220103 Upstream Author : François Pottier, Nicolas Pouillard, etc * URL : https://github.com/fpottier/pprint

Bug#1014076: ITP: gappa -- Automatic generation of proofs of arithmetic properties

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian Math Team , jpu...@debian.org * Package name: gappa Version : 1.4.0 Upstream Author : Guillaume Melquiond * URL : https://gappa.gitlabpages.inria.fr * License : GPL-3 Programming Lang

Bug#1014059: ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-math-classes Version : 8.15.0 Upstream Author : Eelis van der Weegen, Bas Spitters, Robbert Krebbers * URL : https://github.com/coq

Bug#1014048: ITP: flocq -- Floating-point arithmetic for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: flocq Version : 4.1.0 Upstream Author : Sylvie Boldo, Guillaume Melquiond * URL : https://flocq.gitlabpages.inria.fr/ * License

Bug#1013965: ITP: coqeal -- algebra and data structure algorithms for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coqeal Version : 1.1.0 Upstream Author : Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles * URL : https

Bug#1013963: ITP: coq-ext-lib -- Collection of theories and plugins for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-ext-lib Version : 0.11.6 Upstream Author : Gregory M. Malecha * URL : https://github.com/coq-community/coq-ext-lib * License

Bug#1013949: ITP: coq-hott -- Coq library for homotopy type theory

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-hott Version : 8.15 Upstream Author : Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Bas Pitters * URL : https

Bug#1013372: ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-dpdgraph Version : 1.0+8.15 Upstream Author : A.Pacalet, Y.Bertot, O.Pons * URL : https://github.com/coq-community/coq-dpdgraph

Bug#1011648: ITP: coq-serapi -- Coq plugin for data serialization

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org * Package name: coq-serapi Version : 0.15.0 Upstream Author : Emilio Jesús Gallego Arias et al * URL : https://github.com/ejgallego/coq-serapi

Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org * Package name: paramcoq Version : 1.1.3 Upstream Author : Pierre Roux * URL : https://github.com/coq-community/paramcoq * License : Expat

Bug#1010767: ITP: coquelicot -- Coq library for real analysis

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org * Package name: coquelicot Version : 3.2.0 Upstream Author : S.Boldo, C.Lelay and G.Melquiond * URL : https://coquelicot.saclay.inria.fr

Bug#1010650: ITP: mathcomp-real-closed -- Real closed fields for Mathematical Components

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org * Package name: mathcomp-real-closed Version : 1.1.2 Upstream Author : Cyril Cohen and Assia Mahboubi * URL : https://github.com/math-comp/real

Bug#1010637: ITP: mathcomp-multinomials -- Multivariate polynomials for Mathematical Components

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org * Package name: mathcomp-multinomials Version : 1.5.5 Upstream Author : Pierre-Yves Strub * URL : https://www.github.com/mathcomp/multinomials

Bug#1010612: ITP: coq-bignums -- Coq library for big numbers

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org * Package name: coq-bignums Version : 8.15.0 Upstream Author : Laurent Théry, Benjamin Grégoire, Arnaud Spiwack, Evgeny Makarov and Pierre Letouzey * URL

Bug#934258: Current status?

Le lundi 02 mai 2022 à 18:54 +0200, Roland Mas a écrit : > Updated status report: > > Le 26/04/2022 à 17:20, Roland Mas a écrit : > > Le 25/04/2022 à 12:45, Roland Mas a écrit : > > > > > I've been delayed for a while, but I'm back on track. I'll > > > push/upload a big handful of packages,

Bug#934258: Current status?

Hi, I wanted to push things a little further, and hence tried to get the salsa repository ; I couldn't get very far, because d/control lists quite a few non-existing packages: - node-blueprintjs-core ; - node-blueprintjs-select ; - node-fortawesome-fontawesome-free. By non-existing, I mean

Bug#1010014: ITP: mathcomp-algebra-tactics -- Ring and field tactics for Mathematical Components

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: mathcomp-algebra-tactics Version : 0.3.0 Upstream Author : Kazuhiko Sakaguchi * URL : https://github.com/math-comp/algebra-tactics

Bug#1010007: ITP: mathcomp-zify -- Micromega arithmetic solvers for Mathematical Components

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: mathcomp-zify Version : 1.2.0+1.12+8.13 Upstream Author : Kazuhiko Sakaguchi * URL : https://github.com/math-comp/mczify * License

Bug#1009116: ITP: pstm2-frontend -- Parse and type-check SMT-LIB 2

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers * Package name: pstm2-frontend Version : 0.4.0 Upstream Author : Albin Coquereau * URL : https://github.com/ACoquereau/psmt2-frontend * License : Apache-2

Bug#1005224: ITP: mathcomp-analysis -- analysis extension for Mathematical Components

Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: mathcomp-analysis Version : 0.3.13 Upstream Author : Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling

Bug#1005215: ITP: mathcomp-bigenough -- epsilon - N reasoning for Mathematical Components

Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: mathcomp-bigenough Version : 1.5.1 Upstream Author : Cyril Cohen * URL : https://github.com/math-comp

Bug#1005214: ITP: mathcomp-finmap -- finite sets and maps extension for Mathematical Components

Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: mathcomp-finmap Version : 1.5.1 Upstream Author : Cyril Cohen * URL : https://github.com/math-comp/finmap

Bug#1002513: ITP: ppx-import -- OCaml extension to import declarations

Package: wnpp Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers Severity: wishlist * Package name: ppx-import Version : 1.8.0 Upstream Author : Peter Zotov * URL : https://github.com/ocaml-ppx/ppx_import * License : Expat Programming Lang: OCaml

Bug#934258: Experimentations on packaging jupyterlab

Le jeudi 09 décembre 2021 à 20:52 +, Julian Gilbey a écrit : > On Thu, Dec 09, 2021 at 07:49:18PM +, Julian Gilbey wrote: > > On Sat, Nov 27, 2021 at 11:52:25AM +0100, Julien Puydt wrote: > > > Hi, > > > > > > I tried my hand at experimental packagin

Bug#1001534: ITP: node-trysound-sax -- Streaming XML parser

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-trysound-sax Version : 0.2.0 Upstream Author : Isaac Z. Schlueter * URL : https://github.com/svg/sax * License : ISC Programming Lang

Bug#1001522: ITP: node-stable -- stable array sort

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-stable Version : 0.1.8 Upstream Author : Angry Bytes * URL : https://github.com/Two-Screen/stable * License : Expat Programming Lang

Bug#998906: Status?

Hi, what's the status of packaging mdit-py-plugins? I ask because I would like to update the jupyter-client package, which needs myst-parser, which needs mdit-py-plugins... Cheers, J.Puydt

Bug#1001495: ITP: node-picocolors -- library for terminal output formatting with colors

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-picocolors Version : 1.0.0 Upstream Author : Alexey Raspopov * URL : https://github.com/alexeyraspopov/picocolors#readme * License : ISC

Bug#1001394: ITP: node-typestyle -- library for typesafe CSS handling

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-typestyle Version : 2.2.0 Upstream Author : typestyle contributors * URL : https://github.com/typestyle/typestyle#readme * License : Expat

Bug#1001160: ITP: node-csstype -- TypeScript and Flow definitions for CSS

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-csstype Version : 3.0.10 Upstream Author : Fredrik Nicol * URL : https://github.com/frenic/csstype * License : Expat Programming Lang

Bug#1001038: ITP: coq-hierarchy-builder -- build hierarchies of algebraic structures in Coq

Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers Severity: wishlist * Package name: coq-hierarchy-builder Version : 1.2.0 Upstream Author : Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi * URL : https

Bug#1000728: Difficult repository - usptream bug report

Hi, I had a look and saw it would be pretty difficult to package upstream releases: https://github.com/palantir/blueprint/issues/5038 Let's hope we'll get nice feedback. Cheers, J.Puydt

Bug#1000740: ITP: node-free-style -- more maintainable CSS styles in Node.js

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: pkg-javascript-devel * Package name: node-free-style Version : 4.1.0 Upstream Author : Blake Embrey * URL : https://github.com/blakeembrey/free-style * License : Expat Programming Lang

Bug#1000728: RFP: blueprintjs -- react-based toolkit for the Web

Package: wnpp Severity: minor X-Debbugs-CC: Debian Javascript Maintainers Package name: blueprintjs Version : 3.38.0 Upstream Author : Palantir Technologies URL : https://blueprintjs.com/ License : Apache-2.0 Programming Lang: JavaScript Description

Bug#1000704: ITP: node-css-tree -- tool set for CSS

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-css-tree Version : 1.1.3 Upstream Author : Roman Dvornov * URL : https://github.com/csstree/csstree * License : Expat Programming Lang

Bug#934258: Experimentations on packaging jupyterlab

Hi, I tried my hand at experimental packaging for jupyterlab. For the Python part, it lacks nbclassic, it's ITP bug #1000667, this will be done in no time. The JavaScript part is another story entirely. I made experiments compiling by hand a few of the packages in packages/. Here is how you

Bug#1000667: ITP: nbclassic -- run the classic Jupyter frontends above Jupyter Server backend

Package: wnpp Owner: Julien Puydt X-Debbugs-Cc: Debian Python Severity: wishlist * Package name: nbclassic Version : 0.3.2 Upstream Author : Jupyterlab Project contributors * URL : https://github.com/jupyterlab-nbclassic * License : BSD-3-clause Programming

Bug#999483: ITP: coq-elpi -- Coq plugin embedding Elpi

Package: wnpp Owner: Julien Puydt X-Debbugs-CC: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: coq-elpi Version : 1.11.2 Upstream Author : Enrico Tassi * URL : https://github.com/LPCIC/coq-elpi * License : LGPL 2.1+ Programming Lang

Bug#998381: RFP: jspdf -- A library to generate PDFs in JavaScript

Package: wnpp X-Debbugs-Cc: jpu...@debian.org Severity: wishlist * Package name: jspdf Version : 2.4.0 Upstream Author : (long list) * URL : https://github.com/parallax/jsPDF * License : Expat Programming Lang: JavaScript Description : A library to

Bug#998380: RFP: jszip -- A library for creating, reading and editing .zip files with JavaScript

Package: wnpp X-Debbugs-Cc: jpu...@debian.org Severity: wishlist * Package name: jszip Version : 3.7.1 Upstream Author : Stuart Knightley * URL : https://github.com/Stuk/jszip * License : Expat Programming Lang: JavaScript Description : A library for

Bug#998379: RFP: numworks.js -- Utility classes to interact with a Numworks calculator using WebUSB

Package: wnpp X-Debbugs-Cc: jpu...@debian.org Severity: wishlist * Package name: numworks.js Version : (none) Upstream Author : Maxime Friess * URL : https://github.com/M4xi1m3/numworks.js * License : Expat Programming Lang: JavaScript Description :

Bug#998291: ITP: ocaml-ansi-terminal -- colors and cursor movements for OCaml applications

Package: wnpp Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: ocaml-ansi-terminal Version : 0.8.2 Upstream Author : Christophe Troestler & Vincent Hugot * URL : https://github.com/Chris00/ANSITerminal * Lic

Bug#997993: ITP: elpi -- embeddable lambda-Prolog interpreter

Package: wnpp Owner: Julien Puydt X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist * Package name: elpi Version : 1.13.7 Upstream Author : Claudio Sacerdoti Coen and Enrico Tassi * URL : https://github.com/LPCIC/elpi * License : LGPL 2.1

Bug#964074: Status?

Le mercredi 09 juin 2021 à 08:56 +0200, Adam Cecile a écrit : > It's actually packaged but not uploaded: > https://salsa.debian.org/python-team/packages/python-jose > If you're interested in sponsoring the upload, please let me know so > I can first make a quick refresh of packaging. I found this

Bug#964074: Status?

Hi, I stumbled on a project where I would need python-jose -- what's the status of this ITP? JP

Bug#989543: ITP: python-unittest-xml-reporting -- unit test runner reporting using xUnit format

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian Python Team * Package name: python-unittest-xml-reporting Version: 3.0.4 Upstream author: Daniel Fernandes Martins * URL: https://github.com/xmlrunner/unittest-xml-reporting * License: BSD-2-clause Programming lang

Bug#972828: Not dead

Hi, the project is not dead, I still want to package it, but it still relies on an unreleased 'flint' library, so it's not suitable for experimental yet. JP

Bug#978619: ITP: python-anyio --Asynchronous compatibility layer

Package: wnpp Severity: wishlist X-Debbugs-CC: debian-pyt...@lists.debian.org * Package name: python-anyio Version: 2.0.2 Upstream author: Alex Grönholm * URL: https://github.com/agronholm/anyio * License: Expat Programming lang: Python Description: Asynchronous compatibility layer This

Bug#977025: ITP: node-create-require -- polyfill for Node.js' module.createRequire

Package: wnpp Severity: wishlist X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-create-require Version: 1.1.1 Upstream Author: Maël Nison, Pooya Parsa and Paul Soporan * URL: https://github.com/nuxt-contrib/create-require * License: Expat Programming lang: JavaScript &

Bug#975067: ITP: node-turndown -- convert HTML into MarkDown with JavaScript

Package: wnpp Severity: wishlist X-Debbugs-CC: Debian Javascript Maintainers * Package name: node-turndown Version: 7.0.0 Upstream Author: Dom Christie * URL: https://github.com/domchristie/turndown * License: Expat Programming lang: JavaScript Description: convert HTML into MarkDown

Bug#974835: ITP: ts-node -- TypeScript execution and language shell

Package: wnpp Severity: wishlist X-Debbugs-CC: Debian Javascript Maintainers < pkg-javascript-de...@lists.alioth.debian.org> * Package name: ts-node Version: 9.0.0 Upstream Author: Blake Embrey * URL: https://github.com/TypeStrong/ts-node * License: Expat Programming lang: JavaScript &

Bug#974115: ITP: node-make-error -- error framework for JavaScript

Package: wnpp Severity: wishlist X-Debbugs-CC: Debian Javascript Maintainers < pkg-javascript-de...@lists.alioth.debian.org> * Package name: node-make-error Version: 1.3.6 Upstream author: Julien Fontanet * URL: https://github.com/JsCommunity/make-error * License: ISC Programming lang:

Bug#974098: ITP: node-arg -- command line option parser for Node.js

Package: wnpp Severity: wishlist X-Debbugs-CC: Debian Javascript Maintainers < pkg-javascript-de...@lists.alioth.debian.org> * Package name: node-arg Version: 4.1.3 Upstream author: Josh Junon * URL: https://github.com/vercel/arg * License: Expat Programming lang: JavaScript Description:

Bug#974060: ITP: python-json5 -- manage data in JSON5 format in Python

Package: wnpp Severity: wishlist * Package name: python-json5 Version: 0.9.5 Upstream author: Google Inc * URL: https://github.com/dpranke/pyjson5 * License: Apache-2.0 Programming lang: Python Description: manage data in JSON5 format in Python This is needed on the way to get Jupyterlab

Bug#974035: ITP: jupyterlab-server -- base component to create JupyterLab applications

Package: wnpp Severity: wishlist X-Debbugs-CC: debian-pyt...@lists.debian.org * Package name: jupyterlab-server Version: 1.2.0 Upstream author: Project Jupyter contributors * URL: https://github.com/jupyterlab/jupyterlab_server * License: BSD-3-clause and Expat Programming lang: Python

Bug#972828: ITP: calcium -- exact computation with real and complex numbers

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-CC: debian-scie...@lists.debian.org * Package name: calcium Version: 0.2.0 Upstream author: Fredrick Johansson * License: LGPL-2.1+ URL: http://fredrikj.net/calcium/ Programming language: C Description: exact computation with real

Bug#972487: ITP: lumino -- large set of libraries to develop Node.js applications

Package: wnpp Severity: wishlist X-Debbugs-CC: pkg-javascript-de...@lists.alioth.debian.org * Package name: lumino Version: 0~20200824+git93880412-1 Upstream author: Jupyter Project contributors * URL: https://github.com/jupyterlab/lumino License: BSD-3-clause Description: large set of libraries

  1   2   3   >