Bug#518217: Package avalaible on mentors.debian.net

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, Please, have a look at the package available on mentors.debian.net : http://mentors.debian.net/cgi-bin/sponsor-pkglist?action=details;package=crrcsim - -- Regards, Loïc Fejoz -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux

Bug#518217: ITP: crrcsim -- Model-Airplane Flight Simulator

Package: wnpp Severity: wishlist Source: crrcsim Section: contrib/games Priority: extra Maintainer: Aeromodelling maintainers team Uploaders: Loïc Fejoz Build-Depends: dpatch, debhelper (>= 7), autotools-dev, libsdl1.2-dev, portaudio19-dev, plib1.8.4-dev Standards-Version: 3.7.3 Homepage: h

Bug#513608: Package ready for test on mentors.debian.net

Please, have a look at the package available on mentors.debian.net : http://mentors.debian.net/debian/pool/main/a/avl/ -- regards, Loïc -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#513608: ITP: avl -- Analyser for the aerodynamic and flight-dynamic of rigid aircraft.

nce. > > Loïc Fejoz writes: > >> Package: wnpp >> Severity: wishlist >> Owner: "Loïc Fejoz" >> >> * Package name: avl > > I've taken the liberty of adding this to the science-engineering task - > see http://cdd.alioth.debian.org

Bug#513608: ITP: avl -- Analyser for the aerodynamic and flight-dynamic of rigid aircraft.

Package: wnpp Severity: wishlist Owner: "Loïc Fejoz" * Package name: avl Version : 3.27-1 Upstream Author : Mark Drela Harold Youngren * URL : http://web.mit.edu/drela/Public/web/avl/ * License : GPL Programming Lang:

Bug#494491: ITP: isabelle -- Generic theorem proving environment

Good news ! Someone already have a repository: deb http://kisogawa.inf.ethz.ch/isamorph/debian/ testing main It may worth have a look at it... PS : Same for PolyML (Bug#494488: ITP: polyml). -- cheers, Loïc Fejoz Lionel Elie Mamane a écrit : > Package: wnpp > Severity: wishlist &