Bug#993313: ITP: coqword -- Coq Library for Machine Words

2021-08-30 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: coqword Version : 0 Upstream Author : Pierre-Yves Strub * URL : https://github.com/jasmin-lang/coqword * License : CECILL-B Programming Lang

Bug#991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs

2021-07-23 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: easycrypt Version : 1.0 Upstream Author : Easycrypt-club mailing list * URL : https://www.easycrypt.info * License : CECILL-C, parts under

Bug#991435: ITP: jasmin-lang -- Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.

2021-07-23 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: jasmin-lang Version : 0.1 Upstream Author : jasmin-users and developers mailing list * URL : https://github.com/jasmin-lang/jasmin/wiki * License

Bug#906072: Ogon packages available (Linux RDP Server)

2020-04-16 Thread marcel
/ubuntu/ogon) Maybe this can make it into Debian and helps to get ogon usable for a wider public. Bye, Marcel

Bug#643595: SNES9x upstream released 1.54.1

2016-12-23 Thread Marcel Partap
tarballs: https://sites.google.com/site/bearoso/snes9x/ git repo: https://github.com/snes9xgit/snes9x > It's still alive (!) http://www.snes9x.com/phpbb3/viewtopic.php?f=8&t=23752 > Snes9x 1.54.1 > - GTK+: Properly use --std=c++11 when compiling xBRZ. (BearOso) > - Win32: Save window positi

Bug#787204: ITP: haskell-yi-rope -- Rope data structure used by Yi

2015-05-29 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: "Marcel Fourné" * Package name: haskell-yi-rope Version : 0.7.0.1 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/yi-rope * License : GPL-2 Programming Lang: Haskell D

Bug#787200: ITP: haskell-yi-language -- Collection of language-related Yi libraries.

2015-05-29 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: "Marcel Fourné" * Package name: haskell-yi-language Version : 0.1.1.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/yi-language * License : GPL-2 Programming Lan

Bug#787198: ITP: haskell-word-trie -- Implementation of a finite trie over words.

2015-05-29 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: "Marcel Fourné" * Package name: haskell-word-trie Version : 0.3.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/word-trie * License : GPL-2 Programming Lang: Haskell D

Bug#787196: ITP: haskell-oo-prototypes -- Support for OO-like prototypes

2015-05-29 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: "Marcel Fourné" * Package name: haskell-oo-prototypes Version : 0.1.0.0 Upstream Author : Mateusz Kowalczyk * URL : https://hackage.haskell.org/package/oo-prototypes * License : GPL-2 Programming Lan

Bug#787195: ITP: haskell-dynamic-state -- Optionally serializable dynamic state keyed by type

2015-05-29 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: "Marcel Fourné" * Package name: haskell-dynamic-state Version : 0.1.1.0 Upstream Author : Carter Charbonneau * URL : https://hackage.haskell.org/package/dynamic-state * License : GPL-2 Programming Lan

Bug#787194: ITP: haskell-charsetdetect-ae -- Charset detection using Mozilla's Universal Character Set Detector

2015-05-29 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: "Marcel Fourné" * Package name: haskell-charsetdetect-ae Version : 1.0.1 Upstream Author : Max Bolingbroke * URL : https://hackage.haskell.org/package/charsetdetect-ae * License : LGPL-2.1+ Programming Lang:

Bug#673225: doh!

2014-02-17 Thread Marcel Partap
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Sorry, missed this entirely.. just to recap: back in 2011 I took the stale par2 code from http://parchive.sourceforge.net/, merged the patches various distros had shipped with, and put it all on github. BlackIkeEagle contributed several more improvem

Bug#676285: Actually, still ITP

2013-08-16 Thread Marcel Partap
next week - after my exam on monday.. #Regards!Marcel -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/520e7706.4000...@gmx.net

Bug#646877: packages vanished from mentors.d.o

2012-06-10 Thread marcel partap
Dear Chrysn, this seems to be an "interesting" package ;) well worthy of the debian games section. Unfortunately, the packages for lolcat and the ruby-paint lib you uploaded are not to be found on mentors any longer.. Would you mind reuploading them? #Regards/Marcel -- To UNSUBSCRIBE

Bug#673225: Yes we can C:

2012-06-08 Thread marcel partap
his pull requests and reviewed all patches again, i think this is in a good state. Now bed^^ #regards!marcel.. -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

Bug#676285: RFC/RFS/NM?

2012-06-06 Thread marcel partap
^^) work - and like it ;) Until becoming a full DD there's still some stuff to do but for today, job's done. Now i would appreciate any comments on the uploaded package and if i should apply for sponsorship or as maintainer or what not.. *g #Regards! Marcel. -BEGIN PGP SIGNATURE- Vers

Bug#676285: ITP: bsod -- curses Blue Screen of Death Simulator.

2012-06-05 Thread marcel partap
ne. It belongs into the games/optional section. #Regards/Marcel. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4fce88a8.1000...@gmx.net

Bug#676285: ITP: bsod -- curses Blue Screen of Death Simulator.

2012-06-05 Thread marcel partap
ttempt at creating a package, and the author of bsod has various other utils i will polish my deb-forging skills until going for more complicated ones (like brainparty.). #Regards/Marcel. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe"

Bug#676285: ITP: bsod -- curses Blue Screen of Death Simulator.

2012-06-05 Thread Marcel Partap
Package: wnpp Severity: wishlist Owner: Marcel Partap * Package name: bsod Version : 0.1 Upstream Author : Folkert van Heusden * URL : http://www.vanheusden.com/bsod/ * License : GPL-2.0+ Programming Lang: C Description : curses Blue Screen of Death

Bug#586108: ITP: mooproxy -- A buffering proxy for moo-connections

2010-06-16 Thread Marcel Moreaux
Package: wnpp Severity: wishlist Owner: Marcel Moreaux * Package name: mooproxy Version : 0.1.3 Upstream Author : Marcel Moreaux * URL : http://qvdr.net/software/#mooproxy * License : GPL-2 Programming Lang: C Description : A buffering proxy for moo

Bug#344112: MD List

2007-11-08 Thread Marcel barrow
Our records come with unlimited use rights and we have data for many other specialties and professions. Contact me today as we have some deals for this week only that I think you're really going to like ;-) My number is (206) 202-3520 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a su

Bug#172411: We ship Worldwide.

2007-09-10 Thread Marcel Hemphill
It is also useful in alleviating depressed libido, functional impotence and sexual weakness. http://emagx.net -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#287838: ITP: phat -- collection of gtk+ widget geared towards audio apps

2004-12-30 Thread Eduardo Marcel Macan
Package: wnpp Severity: wishlist * Package name: libphat0 Version : 0.2.3 Upstream Author : Pete Bessman <[EMAIL PROTECTED]> * URL : http://gazuga.net/phat.php * License : GPL Description : collection of gtk+ widget geared towards audio apps PHAT is a co

Bug#287839: ITP: mxml -- small XML parsing library

2004-12-30 Thread Eduardo Marcel Macan
Package: wnpp Severity: wishlist * Package name: libmxml2 Version : 2.1 Upstream Author : Michael Sweet <[EMAIL PROTECTED]> * URL : http://www.easysw.com/~mike/mxml * License : GPL Description : small XML parsing library Mini-XML is a small XML parsi

Bug#238746: ITP: specimen -- MIDI controllable audio sampler for GNU/Linux systems

2004-03-18 Thread Eduardo Marcel Macan
Package: wnpp Severity: wishlist * Package name: specimen Version : x.y.z Upstream Author : Pete Bessman <[EMAIL PROTECTED]> * URL : http://www.gazuga.net * License : GPL Description : MIDI controllable audio sampler for GNU/Linux systems A simple but ver

Bug#198082: ITP: zynaddsubfx -- realtime software synthesizer with many features

2003-06-19 Thread Eduardo Marcel Macan
Package: wnpp Version: unavailable; reported 2003-06-19 Severity: wishlist * Package name: zynaddsubfx Version : x.y.z Upstream Author : Nasca Otavian Paul <[EMAIL PROTECTED]> * URL : http://zynaddsubfx.sourceforge.net * License : GPL Description : realtim

Bug#110174: ITP: vertex -- A polygon based modeller for efficient 3D objects

2001-08-26 Thread Eduardo Marcel Macan
Package: wnpp Severity: wishlist >From its home page: Vertex 3D Model Assembler is a polygon based modeller geared towards making highly efficient 3D objects for games and other live-end requirements. It uses the V3D object model format to maximize efficiency with OpenGL rendering. It is av

Bug#105856: ITP: claraocr -- a free (GPL) OCR for systems that support the C library and the X windows system

2001-07-19 Thread Eduardo Marcel Macan
Package: wnpp Severity: wishlist Clara OCR is intended for large scale digitalization projects. It features a powerful GUI and a web interface for cooperative digitalization of books. Clara OCR development started in 1999 and we're approaching production level. Clara OCR's author is a persona

Bug#96504: ITP: dillo - a light fast and simple webbrowser

2001-05-06 Thread Eduardo Marcel Macan
Package: wnpp Severity: wishlist X-Debbugs-CC: debian-devel@lists.debian.org dillo is a very simple, small and fast webbrowser written almost from scratch in C. It does not support tables and frames yet, but its size and simple dependencies make it a good candidate for embedded systems, handhelds

Bug#88439: ITP: log4cpp

2001-03-04 Thread Marcel Harkema
Package: wnpp Severity: wishlist Log for C++ (short name: log4cpp), a C++ library for flexible logging. Copyright (C) 2000, 2001 LifeLine Networks bv Copyright (C) 2000, 2001 Bastiaan Bakker >From the README: Log for C++ is a library of C++ classes for flexible logging to files, syslog (p