Bug#552326: ITP: apron -- An abstract interpretation library
Package: wnpp Severity: wishlist Owner: Samuel Mimram * Package name: apron Version : 0.9.10 * URL : http://apron.cri.ensmp.fr/library/ * License : LGPL + GPL Programming Lang: C + OCaml Description : An abstract interpretation library The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Bug#446924: ITP: ocaml-ogg -- OCaml bindings for the Ogg bitstream library
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-ogg Version : 0.1.0 Upstream Author : Samuel Mimram <[EMAIL PROTECTED]> * URL : http://savonet.sf.net/ * License : LGPL Programming Lang: OCaml Description : OCaml bindings for the Ogg bitstream library Libogg is a library for manipulating ogg bitstreams. It handles both making ogg bitstreams and getting packets from ogg bitstreams. . This package contains bindings to use libogg in OCaml programs. PS: this is needed for the next release of liquidsoap. -- System Information: Debian Release: lenny/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.22-2-686 (SMP w/1 CPU core) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#439711: ITP: ocaml-curses -- OCaml bindings to the ncurses library
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-curses Version : 1.0.1 Upstream Author : Nicolas George, Richard Jones * URL : http://www.nongnu.org/ocaml-tmk/ * License : LGPL Programming Lang: C / OCaml Description : OCaml bindings to the ncurses library The ncurses library provides functions to create rich text-mode interfaces. . This package contains the necessary files to use the ncurses library in OCaml. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.22-1-686 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#438613: ITP: coq-float -- coq library for floating point numbers
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: coq-float Upstream Author : Laurent Théry <[EMAIL PROTECTED]>, Sylvie Boldo <[EMAIL PROTECTED]>, Laurence Rideau <[EMAIL PROTECTED]> * URL : http://coq.inria.fr/contribs/Float.html * License : LGPL Programming Lang: coq Description : coq library for floating point numbers Library for reasoning about floating point numbers in coq. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.22-1-686 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) Shell: /bin/sh linked to /bin/bash
Bug#422867: ITP: ocaml-alsa -- OCaml bindings for the ALSA library
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-alsa Version : 0.1.0 Upstream Author : Samuel Mimram <[EMAIL PROTECTED]> * URL : http://savonet.sf.net/ * License : GPL Programming Lang: ocaml + C Description : OCaml bindings for the ALSA library This OCaml library interfaces the ALSA library libasound to access audio devices. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.18-4-686 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) Shell: /bin/sh linked to /bin/bash -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#415862: ITP: why -- A software verification tool
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: why Version : 2.02 Upstream Author : Jean-Christophe Filliâtre * URL : http://why.lri.fr/ * License : GPL Programming Lang: OCaml Description : A software verification tool Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Ergo, Yices, CVC Lite and haRVey. -- System Information: Debian Release: 4.0 APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.18-4-amd64 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8)
Re: Bug#412704: ITP: ocaml-ao -- OCaml bindings for libao
Hi, Stefano Zacchiroli wrote: > On Tue, Feb 27, 2007 at 04:07:37PM +0100, Romain Beauxis wrote: >> Owner: Samuel Mimram <[EMAIL PROTECTED]> > > Given this, I guess you're already familiar with what I'm going to say, > but better safe then sorry ... > >> OCaml bindings for the cross platform audio output library. > > Please Cc: [EMAIL PROTECTED] for ITP of OCaml-related packages > and ensure your package conforms to the OCaml packaging policy > before uploading or asking for sponsorship. No need to worry: Romain and I have discussed privately and I will review his package (and possibly also maintain it). FYI, we need this library to package liquidsoap[1], a project in which we are both involved. Cheers, Samuel. [1] http://savonet.sf.net/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#410702: ITP: xmoto-edit -- Editor for xmoto, a 2D motocross platform game
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: xmoto-edit Version : 0.2.4 Upstream Author : Rasmus Neckelmann <[EMAIL PROTECTED]>, Nicolas Adenis-Lamarre <[EMAIL PROTECTED]> * URL : http://xmoto.tuxfamily.org/ * License : GPL Programming Lang: C++ Description : Editor for xmoto, a 2D motocross platform game X-Moto is a challenging 2D motocross platform game, where physics play an all important role in the gameplay. You need to control your bike to its limit, if you want to have a chance finishing the more difficult of the challenges. . This package contains a level editor for the game. -- System Information: Debian Release: 4.0 APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.18-3-amd64 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#387454: ITP: ocsigen -- web programming framework in OCaml
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocsigen Version : 0.4.0 Upstream Author : Vincent Balat <[EMAIL PROTECTED]> * URL : http://ocsigen.org/ * License : GPL Programming Lang: OCaml Description : web programming framework in OCaml Ocsigen is a programming framework providing a new way to create dynamic web sites. With Ocsigen, you program in a concise and modular way, with a strong type system which helps you to produce always valid xhtml. The server handles sessions and page parameters automatically. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.17-1-amd64-k8 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#385121: ITP: midish -- shell-like MIDI sequencer/filter
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: midish Version : 0.2.4 Upstream Author : Alexandre Ratchov <[EMAIL PROTECTED]> * URL : http://caoua.org/midish/ * License : 2-clauses BSD Programming Lang: C Description : shell-like MIDI sequencer/filter midish is a MIDI sequencer/filter implemented as a shell-like interpreter. It's intended to be lightweight, fast and reliable for real-time performance. Important features are: multiple MIDI devices handling, synchronisation to external MIDI devices, real-time MIDI filtering/routing (controller mapping, keyboard splitting, ...), track recording and editing (insert, copy, delete, quantize...), import and export of standard MIDI files, system exclusive messages handling. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.17-1-amd64-k8 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.UTF-8) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#372849: ITP: wired -- music production and creation software
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: wired Version : 0.2.2 Upstream Author : The Wired Team * URL : http://wired.sf.net/ * License : GPL Programming Lang: C++ Description : music production and creation software Wired aims to be a professional music production and creation software running on the Linux operating system. It brings musicians a complete studio environment to compose and record music without the need of expensive hardware. . Wired supports unlimited Audio/Midi tracks playback and recording, and introduces a Plugin system for instruments and effects. It can also read AKAI CDs and import 18 different Wave formats. . The following instruments are present in Wired: * Loop sampler, with time-stretching * Beatbox with a new editing concept, to create drum sequences * MIDI controlled sampler, which can read AKAI program and * High-pass, Low-pass and Notch filters * Compressor/Limiter * Delay * And many more... Notice that there is already an RFP (#353608) for a completely different program also named wired. One of us will have to change its upstream name... -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.16-2-686 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#366069: ITP: fusesmb -- filesystem client based on the samba file transfer protocol
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: fusesmb Version : 0.8.4 Upstream Author : Vincent Wagelaar <[EMAIL PROTECTED]> * URL : http://www.ricardis.tudelft.nl/~vincent/fusesmb/ * License : mainly GPL (+ BSD) Programming Lang: C Description : filesystem client based on the samba file transfer protocol fusesmb is a filesystem client based on the samba file transfer protocol. . It is based on FUSE (userspace filesystem framework for Linux), thus you will have to prepare fuse kernel module to be able to use it. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.16-1-686 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#363539: ITP: menhir -- Parser generator for OCaml
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: menhir Version : 20060412 Upstream Author : François Pottier <[EMAIL PROTECTED]>, Yann Régis-Gianas <[EMAIL PROTECTED]> * URL : http://pauillac.inria.fr/~fpottier/menhir/ * License : modified QPL (as OCaml) + LGPL Programming Lang: OCaml Description : Parser generator for OCaml Menhir is a LR(1) parser generator for OCaml. It is mostly compatible with the standard ocamlyacc and has the following enhancements: * it accepts LR(1) grammars, * it offers parameterized nonterminal symbols as well as a library of standard definitions, * it explains conflicts in terms of the grammar, * it allows grammar specifications to be split over multiple files and parametrized by OCaml modules, * it produces reentrant parsers. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.16-1-686 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Re: removal of svenl from the project
Hi, Andres Salomon wrote: On Wed, Mar 15, 2006 at 10:59:46AM -0500, Stefano Zacchiroli wrote: Thanks for yours and Ralf's responses. To be honest, I wasn't expecting anyone to actually say that they *enjoyed* working w/ Sven. This is making me seriously reconsider my request; obviously, I don't want to penalize teams that want Sven around. My intent really is to improve the project, not to hurt Sven (or any other teams). Does the rest of the ocaml team feel this way as well? I also did *enjoy* working with Sven. I started as a maintainer by packaging ocaml programs and the help of the whole ocaml-maint team (including Sven) was very valuable. He often did answer my questions and helped me to learn packaging and the specificities of caml packages. He was also willing to let others help (i.e. wasn't the never-touch-my-package type). Interacting with him always been nice and fruitful. As far as the ocaml-related packaging is concerned, I really feel that his work has always been quite productive. I tend to try to spare my time and I only read lists like debian-devel from time to time, so I'm not judging here the whole interaction of Sven with the Debian project. Please mail me privately, no sense in cluttering up the lists any more. Sorry for not doing this but this mail made me discover you expulsion thing and I wanted to give my public support to Sven at least once. Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#344906: ITP: sysprof -- A system-wide linux profiler
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: sysprof Version : 1.0.1 Upstream Author : Søren Sandmann <[EMAIL PROTECTED]> * URL : http://www.daimi.au.dk/~sandmann/sysprof/ * License : GPL Description : A system-wide linux profiler Sysprof is a sampling CPU profiler that uses a Linux kernel module to profile the entire system, not just a single application. Sysprof handles shared libraries and applications do not need to be recompiled. In fact they don't even have to be restarted. PS: I'm not so familiar with kernel modules. I've put a preliminary package on the web [1] in case you have comments. [1] http://people.debian.org/~smimram/sysprof/ -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.14 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#331535: ITP: xmoto -- 2D motocross platform game
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: xmoto Version : 0.1.5 Upstream Author : Rasmus Neckelmann <[EMAIL PROTECTED]> * URL : http://xmoto.sourceforge.net/ * License : GPL Description : 2D motocross platform game X-Moto is a challenging 2D motocross platform game, where physics play an all important role in the gameplay. You need to control your bike to its limit, if you want to have a chance finishing the more difficult of the challenges. First you'll try just to complete the levels, while later you'll compete with yourself and others, racing against the clock. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.13 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#329004: ITP: cairo-ocaml -- OCaml bindings for the cairo library
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: cairo-ocaml Version : CVS Upstream Author : Olivier Andrieu <[EMAIL PROTECTED]> * URL : http://cairographics.org/cairo_2docaml * License : LGPL Description : OCaml bindings for the cairo library Cairo is a multi-platform library providing anti-aliased vector-based rendering for multiple target backends. Paths consist of line segments and cubic splines and can be rendered at any width with various join and cap styles. All colors may be specified with optional translucence (opacity/alpha) and combined using the extended Porter/Duff compositing algebra as found in the X Render Extension. . Cairo exports a stateful rendering API similar in spirit to the path construction, text, and painting operators of PostScript, (with the significant addition of translucence in the imaging model). When complete, the API is intended to support the complete imaging model of PDF 1.4. . This package will contain the libraries needed to use cairo in OCaml programs. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.13 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
Bug#319287: ITP: ocaml-ssl -- OCaml bindings for the openssl library
Package: wnpp Severity: wishlist Owner: Samuel Mimram <[EMAIL PROTECTED]> * Package name: ocaml-ssl Version : 0.3.1 Upstream Author : Samuel Mimram <[EMAIL PROTECTED]> * URL : http://savonet.sourceforge.net/ * License : LGPL + exceptions Description : OCaml bindings for the openssl library OCaml library for communicating using SSL encrypted connections. (this library is in particular now required by libldap-ocaml). -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.12.1 Locale: LANG=en_US, LC_CTYPE=en_US (charmap=ISO-8859-1) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
