Re: Building windows versions of debian packages

2005-11-19 Thread Enrico Tassi
now. mh... I do not completely agree... I think a separate repo should be the way to start... but at the end I would like to see these packages in debian... the best developing environment (not only the best OS). If you want to start this nice "project"... I can help a bit ciao -- En

Bug#383798: ITP: luacurl -- libcURL bindings for the lua language

2006-08-19 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: luacurl Version : 0.2.0 Upstream Author : Enrico Tassi <[EMAIL PROTECTED]> * URL : http://svn.debian.org/wsvn/pkg-lua/home/gares/luacurl-0.2.0/?rev=0&

Bug#384350: ITP: luaexpat -- bindings for the expat library to the lua language

2006-08-23 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: luaexpat Version : 1.0.2 Upstream Author : oberto Ierusalimschy, André Carregal and Tomás Guisasola as part of the Kepler Project <[EMAIL PROTECTED]> * URL

Bug#384496: ITP: luafilesystem -- filesystem library to the lua language

2006-08-24 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: luaexpat Version : 1.0.2 Upstream Author : oberto Ierusalimschy, André Carregal and Tomás Guisasola as part of the Kepler Project <[EMAIL PROTECTED]> * URL

Bug#384743: ITP: lua5.1-policy -- lua5.1 policy for debian packages

2006-08-26 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: lua5.1-policy Version : 1 Upstream Author : Enrico Tassi <[EMAIL PROTECTED]> * URL : http://alioth.debian.org/projects/pkg-lua/ * License : MIT/X Programmin

Bug#384776: ITP: lua-posix -- posix library for the lua5.1 scripting language

2006-08-26 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: lua-posix Version : 1.0 (no upstram version number) Upstream Author : Luiz Henrique de Figueiredo <[EMAIL PROTECTED]>. * URL : http://luaforge.net/projects/lpos

Bug#392120: ITP: lua-sql -- luasql library for the lua language version 5.1

2006-10-10 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: lua-sql Version : 2.0.2 Upstream Author : Kepler Project * URL : http://www.keplerproject.org/luasql * License : MIT/X Programming Lang: C Description

Bug#402193: ITP: macbook-backlight -- Program to change the brightness of Apple MacBook

2006-12-08 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: macbook-backlight Version : Upstream Author : Ryan Lortie <[EMAIL PROTECTED]> * URL : http://desrt.mcmaster.ca/code/macbook-backlight/ * License : GPL Prog

Bug#404337: ITP: lua-graph -- graphviz library for lua

2006-12-23 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: lua-graph Version : 1.0.1 Upstream Author : Herbert Leuwer <[EMAIL PROTECTED]> * URL : http://luagraph.luaforge.net/ * License : MIT/X Programming

Bug#291966: ITP: ocaml-expat -- An ocaml wrapper for the Expat XML parsing library

2005-01-24 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: ocaml-expat Version : 0.9.0 Upstream Author : Maas-Maarten Zeeman <[EMAIL PROTECTED]> * URL : http://www.xs4all.nl/~mmzeeman/ocaml/ * License : MIT/X

Bug#291964: ITP: ocurl -- OCaml bindings for libcurl

2005-01-24 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: ocurl Version : 0.2.0 Upstream Author : Lars Nilsson <[EMAIL PROTECTED]> * URL : http://sourceforge.net/projects/ocurl * License : MIT/X Description

Bug#462222: ITP: lua-md5 -- Small crypto library for lua

2008-01-23 Thread Enrico Tassi
: MIT/X Description: This package contains a small crypto library for Lua. It comprises the MD5 and the DES56 algorithms. -- Enrico Tassi

Bug#462223: ITP: lua-wsapi -- Web server API abstraction layer for the lua language version 5.1

2008-01-23 Thread Enrico Tassi
url encoding/decoding) as well as the following backends (server implementations): . - CGI (the regular environment-variables based protocol) - xavante (for the Xavante web server) - fastcgi -- Enrico Tassi

Bug#462659: ITP: lua-cosmo -- safe template library for lua

2008-01-26 Thread Enrico Tassi
: MIT/X Description: Cosmo is a "safe templates" engine that supports simple text substitution and iteration. -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#462660: ITP: lua-markdown -- Lua library to translate the markdown syntax to HTML

2008-01-26 Thread Enrico Tassi
. Cheera -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#465124: ITP: luarocks -- deployment and management system for Lua modules

2008-02-10 Thread Enrico Tassi
sitory, and the documentation for luarocks, describing the command line tools as well as the library to manipulate rocks. The package is already almost-in-shape at Vcs-Svn: svn://svn.debian.org/pkg-lua/packages/luarocks Vcs-Browser: http://svn.debian.org/viewsvn/pkg-lua/packages/luarocks Cheers --

Re: Meaning of the "Altering package upload rules"

2008-02-14 Thread Enrico Tassi
s rebuilt, the uploaded debs are not useless. You may debdiff them and eventually informe the developer that: - his build environment is corrupted (or the buildd's one) - his package build process is installation sensitive (behaves differently on a different installation). Cheers --

Re: Meaning of the "Altering package upload rules"

2008-02-16 Thread Enrico Tassi
were 10 lines of code. I'll try to gather more infos about how build jobs are scheduled and I'll read the link Aj provided. Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#472789: ITP: lua-coxpcall -- Extension to the lua protected call mechanism to croutines

2008-03-26 Thread Enrico Tassi
: This package contains coxpcall, a Lua library that extends the protected call mechanism typical of Lua (xpcall and pcall) allowing it to cross coroutines boundaries. -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Troubl

Bug#475760: ITP: sputnik -- A small and easy to extend wiki

2008-04-12 Thread Enrico Tassi
g, a calendar, a mailing list viewer. -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#476521: ITP: lua-orbit -- MVC framework for lua

2008-04-17 Thread Enrico Tassi
framework for lua -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#538130: ITP: prosody -- jabber server

2009-07-23 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: prosody Version : 0.5.0 Upstream Author : Matthew Wild , Waqas Hussain , Tobias Markmann * URL : http://prosody.im * License : MIT/X Programming Lang: Lua, C Description : jabber

Bug#554033: ITP: luajit -- Just in time compiler for Lua 5.1

2009-11-02 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: luajit Version : 2.0.0beta1 Upstream Author : Mike Pall * URL : http://luajit.org * License : MIT/X Programming Lang: C, ASM, Lua Description : Just in time compiler for Lua 5.1

Bug#429250: ITP: lua-zip -- ZIP file access for the lua language

2007-06-16 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: lua-zip Version : 1.2.2 Upstream Author : Copyright © 2003-2006 The Kepler Project. * URL : http://www.keplerproject.org/luazip/ * License : MIT/X Programming L

Bug#490953: ITP: lua-base64 -- base64 library for the lua language

2008-07-15 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi <[EMAIL PROTECTED]> * Package name: lua-base64 Version : 1.0 Upstream Author : Luiz Henrique de Figueiredo * URL : http://www.tecgraf.puc-rio.br/~lhf/ftp/lua/#lbase64 * License : Public Domain Progr

Bug#509227: ITP: lua-bitop -- fast lua bit manipulation library

2008-12-19 Thread Enrico Tassi
manipulation library This library will also be luajit2 friendly, allowing compilation of bitwise operation to native bit operations for better performances -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Conta

Bug#511733: ITP: lua-sec -- SSL support library for lua

2009-01-13 Thread Enrico Tassi
/ License: MIT/X Description: enhances luasocket library with SSL support The package is already available in the SVN repo: svn://svn.debian.org/svn/pkg-lua/packages/lua-sec/ Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of

Bug#434073: ITP: lua-xmlrpc -- xmlrpc facility for the lua language

2007-07-21 Thread Enrico Tassi
: xmlrpc for lua The package is already half done here: http://svn.debian.org/wsvn/pkg-lua/packages/lua-xmlrpc/ -- Enrico Tassi

Bug#434335: ITP: [PACKAGE] -- soap library for the lua language version 5.1

2007-07-23 Thread Enrico Tassi
library for lua The package is already available in the svn repo: http://svn.debian.org/wsvn/pkg-lua/packages/lua-soap -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#435234: ITP: lua-svn -- Subversion library for the lua language

2007-07-30 Thread Enrico Tassi
: Subversion library for the lua languave This library allows to interact with an svn repository from the lua language. The package is already available here: svn://svn.debian.org/pkg-lua/packages/lua-svn -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubs

Bug#435423: ITP: lua-doc -- Documentation generator from lua source code

2007-07-31 Thread Enrico Tassi
luadoc License: MIT/X Description: Documentation generator for lua, in the style of Doxygen Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Re: Bug#435423: ITP: lua-doc -- Documentation generator from lua source code

2007-07-31 Thread Enrico Tassi
(as in perl-doc, python-doc). > > Can you please consider doing the change? lua-doc is the name of the source package (that is mainly a lua library and all lua libraries source package are called lua-something). the binary packages are called luadoc and liblua5.1-doc0. cheers -- Enrico

Bug#439085: ITP: [lua-logging] -- logging facilities for lua

2007-08-22 Thread Enrico Tassi
: Logging facilities for the lua language versione 5.1 Version 3.0 of luadoc depends on lua-logging, so I'm packaging it. -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#442452: ITP: lua-rings -- lua state creation and control library

2007-09-16 Thread Enrico Tassi
://svn.debian.org/pkg-lua/packages/lua-rings -- Enrico Tassi

Bug#442451: ITP: lua-cgi -- CGI library for the lua language version 5.1

2007-09-16 Thread Enrico Tassi
applications with Lua. The package is already available: svn://svn.debian.org/pkg-lua/packages/lua-cgi -- Enrico Tassi

Bug#442453: ITP: lua-copas -- Copas is a dispatcher of concurrent TCP/IP requests for lua 5.1

2007-09-16 Thread Enrico Tassi
through requests and invokes the corresponding handlers. The package is already in shape: svn://svn.debian.org/pkg-lua/packages/lua-copas -- Enrico Tassi

Bug#444607: ITP: xavante -- xavante is lua based web server suited for embedded system

2007-09-29 Thread Enrico Tassi
general files, URI remapping and CGILua scripts respectively. The package is already ready: svn://svn.debian.org/pkg-lua/packages/xavante Cheers -- Enrico Tassi

Bug#445098: ITP: cmph -- C Minimal Perfect Hashing Library

2007-10-03 Thread Enrico Tassi
designed to work with big entries that cannot fit in the main memory. -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#445030: ITP: lua-bit -- bit manipulation library for lua

2007-10-03 Thread Enrico Tassi
MIT/X Description: bit manipulation library for lua This package provides bitwise operations (xor, and, or, shift...) for lua5.1 Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#448156: ITP: matita -- interactive theorem prover

2007-10-26 Thread Enrico Tassi
supports high quality bidimensional rendering of proofs and formulae transformed on-the-fly to MathML markup -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#455730: ITP: lua-peg -- Parsing Expression Grammars For Lua

2007-12-11 Thread Enrico Tassi
a good replacement for regular expressions, because they are strictly more powerful. For example, a regular expression inherently cannot find matched pairs of parentheses, because it is not recursive, but a PEG can. -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a s

Re: Bug#455730: ITP: lua-peg -- Parsing Expression Grammars For Lua

2007-12-12 Thread Enrico Tassi
On Wed, Dec 12, 2007 at 05:29:28PM +0900, Miles Bader wrote: > Enrico Tassi <[EMAIL PROTECTED]> writes: > >Package name: lua-peg > > Version: 0.7 > > Upstream Author: Roberto Ierusalimschy <[EMAIL PROTECTED]> > > URL: http:

Re: Bug#455730: ITP: lua-peg -- Parsing Expression Grammars For Lua

2007-12-13 Thread Enrico Tassi
oo. Binary packages will be liblua5.1-lpeg0 and liblua5.1-lpeg-dev and the lua module will be loadable with require "lpeg" If you are inpatient, or want to test it before it passes the new queue, you can use the following svn repository: svn co svn://svn.debian.org/pkg-lua/package

Re: Bug#455730: ITP: lua-peg -- Parsing Expression Grammars For Lua

2007-12-13 Thread Enrico Tassi
On Thu, Dec 13, 2007 at 11:39:43AM +0100, Enrico Tassi wrote: > On Thu, Dec 13, 2007 at 04:17:48PM +0900, Miles Bader wrote: > > If you are inpatient, or want to test it before it passes the new queue, Oops, I've just discovered that "inpatient" means something compl

Bug#456566: ITP: lua-gtk -- gtk library bindings for lua

2007-12-16 Thread Enrico Tassi
: This package contains the bindings for the gtk library for the lua language version 5.1 The package is almost in shape, and can be built downloading it from the svn repository: svn://svn.debian.org/pkg-lua/packages/lua-gtk Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL

Bug#457198: ITP: lua-leg -- Leg library for lua5.1

2007-12-20 Thread Enrico Tassi
package is already in shape: svn://svn.debian.org/pkg-lua/packages/lua-leg -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#457220: ITP: shake -- test engine for lua

2007-12-20 Thread Enrico Tassi
: Simple and transparent test engine for Lua that assumes that tests only use standard assert and print calls. It gives accurate feedback on tests failures. -- Enrico Tassi

Bug#586033: ITP: lua-event -- libevent bindings for Lua 5.1

2010-06-15 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-event Version : 0.1.1(prosody fork) Upstream Author : Thomas Harning , Matthew Wild * URL : http://code.matthewwild.co.uk/luaevent-prosody * License : LGPL Programming Lang: C, Lua

Bug#590855: ITP: lua-cyrussasl -- Cyru SASL bindings for Lua 5.1

2010-07-29 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-cyrussasl Version : 1.0.0 Upstream Author : Jorj Bauer * URL : http://github.com/JorjBauer/lua-cyrussasl * License : BSD Programming Lang: C Description : Cyru SASL bindings for

Bug#614121: ITP: lua-apr -- lua bindings for the apache portable runtime

2011-02-19 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-apr Version : 0.14.2 Upstream Author : pe...@peterodding.com * URL : http://peterodding.com/code/lua/apr/ * License : MIT/X Programming Lang: C, Lua Description : lua bindings for

Bug#524834: ITP: syncmaildir -- Sync Mail Dir is a set of tools to synchronize Maildirs

2009-04-20 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: syncmaildir Version : 0.9.2 Upstream Author : Enrico Tassi * URL : http://syncmaildir.sf.net * License : GPL Programming Lang: C, Lua, Bash Description : Sync Mail Dir is a set of

Re: Bug#524834: ITP: syncmaildir -- Sync Mail Dir is a set of tools to synchronize Maildirs

2009-04-22 Thread Enrico Tassi
On Wed, Apr 22, 2009 at 10:09:13AM +0200, Stefano Zacchiroli wrote: > On Tue, Apr 21, 2009 at 02:17:58PM +0200, Enrico Tassi wrote: > > AFAIK OfflineIMAP gives you (or will give you soon) something more > > called always-connected-with-ther-server-to-fetch-mail-ASAP option > &

Re: Bug#524834: ITP: syncmaildir -- Sync Mail Dir is a set of tools to synchronize Maildirs

2009-04-22 Thread Enrico Tassi
etect your pattern), while policies are in a scripting language I like (deliberate choice was Lua) and it should be reasonably easy to not duplicate the message but simply add the flag. In any case, thank you all very much for your comments! -- Enrico Tassi -- To UNSUBSCRIBE, email to d

Bug#668057: ITP: lua-zlib -- zlib library for the Lua language

2012-04-08 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-zlib Version : 0.2 Upstream Author : Brian Maher * URL : http://github.com/brimworks/lua-zlib * License : MIT/X Programming Lang: C Description : zlib library for the Lua

Bug#668173: ITP: lua-dbi -- DBI library for the Lua language

2012-04-09 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-dbi Version : 0.5 Upstream Author :Neil Richardson (nr...@ii.net) * URL : http://code.google.com/p/luadbi/ * License : MIT/X Programming Lang: C Description : DBI library for the

Bug#672346: ITP: lua-penlight -- general purpose library for the Lua language

2012-05-10 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-penlight Version : 1.0.2 Upstream Author : Steve Donovan * URL : http://stevedonovan.github.com/Penlight/api/index.html * License : MIT Programming Lang: Lua Description

Bug#719795: ITP: lua-lpty -- PTY library for the Lua language

2013-08-15 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-lpty Version : 1.0.1 Upstream Author : Gunnar Zötl * URL : http://www.tset.de/lpty/ * License : MIT/X Programming Lang: C, Lua Description : PTY library for the Lua language

detecting autopkgtest

2013-09-16 Thread Enrico Tassi
his target is run by adt-run I want it to behave in a slightly different way. For exmample I don't want to set env variables so that non system-wide installed .so files are found, something really needed when running the tests at build time. Cheers -- Enrico Tassi -- To UNSUBSCRIBE, e

Re: detecting autopkgtest

2013-09-16 Thread Enrico Tassi
difference seems to be the presence of ADTTMP. But maybe a more polite way would be to ask something like `adt --is-running` and let adt implement it as it likes. Any autopkgtest devel around? Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subjec

Re: detecting autopkgtest

2013-09-16 Thread Enrico Tassi
tests. Correct me if I'm wrong, but given http://dep.debian.net/deps/dep8/ any implementation of DEP8 should define ADTTMP, sadt included. The variable name may be badly chosen, since it is named after a particular test runner. But this seems to be another issue, right? Cheers -- Enrico Ta

Re: Proposal: let’s have a GR about the init system

2013-10-26 Thread Enrico Tassi
sure not in a position to criticize the decisions he may take as technical committee member. Ditto for Colin and the other members of the board, that are there for a reason. In case you don't know, that reason is not being champions of trolling on -devel. Who are you? Who pays your bi

Bug#657968: ITP: lua-lgi -- Lua binding to GObject based libraries

2012-01-30 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua-lgi Version : 0.4 Upstream Author : Pavel Holejsovsky * URL : https://github.com/pavouk/lgi * License : MIT/X Programming Lang: C, Lua Description : Lua binding to GObject

Bug#660251: ITP: dh-lua -- helper script for building Lua package

2012-02-17 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: dh-lua Version : 1 Upstream Author : Enrico Tassi * URL : svn+ssh://svn.debian.org/svn/pkg-lua/packages/dh-lua * License : MIT/X Programming Lang: make, shell Description : helper

Re: Building and using shared libraries using gccgo

2013-02-06 Thread Enrico Tassi
Debian is huge... Ciao -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130206143639.GA7528@birba

packaging with git: automatic setup of remotes/upstream when cloning

2013-03-05 Thread Enrico Tassi
anks in advance -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130305154035.GA28427@birba

Re: packaging with git: automatic setup of remotes/upstream when cloning

2013-03-05 Thread Enrico Tassi
lease. Is my desired workflow wrong? This URL us not in the git repo, and if I'm not mistaken it can't be added to, say, .gbp.conf. Am I wrong? Cheers -- Enrico Tassi -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Tro

Bug#741345: ITP: mathematical-components -- Mathematical Components library for the Coq proof system

2014-03-11 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: mathematical-components Version : 1.4.0 Upstream Author : Mathematical Components team * URL : http://www.msr-inria.fr/projects/mathematical-components/ * License : BSD Programming Lang

Bug#775565: ITP: lua5.3 -- scripting language

2015-01-17 Thread Enrico Tassi
Package: wnpp Severity: wishlist Owner: Enrico Tassi * Package name: lua5.3 Version : 5.3.0 Upstream Author : t...@lua.org * URL : http://www.lua.org/ * License : MIT/X Programming Lang: C Description : scripting language A git repo pkg-lua/lua5.3 on

Bug#795604: ITP: lua-bit32 -- Backport of the Lua 5.2 bit32 library to Lua 5.1

2015-08-15 Thread Enrico Tassi
Description: Backport of the Lua 5.2 bit32 library to Lua 5.1 This is needed in order to package lua-posix >= 33 -- Enrico Tassi

Re: Bug#818900: [Lua Policy] integrate debian's lua modules into Debian's Luarocks

2016-03-21 Thread Enrico Tassi
ld look for the code that generates .pc files, and start from that. Otherwise I'll do it myself, but I'm a bit busy these days. Best, -- Enrico Tassi