Bug#962215: libfox-1.6-0: Is it possible to package fox-1.7.67 or higher?

Hi Roland, I totally understand your need for a more recent version of the FOX toolkit. There has been very little upstream activity on the 1.6 ("stable") branch in the last few years, and honestly, I don't know why the 1.7 branch isn't yet considered stable or if/when this will ever happen. Howe

Bug#757048: Alive ping

I am really sorry that this is taking so long, but I am still working on this. In particular, at the recommendation of the upstream developers, I have been waiting for version 1.5 of CVC4, which has finally been released yesterday: http://cvc4.cs.stanford.edu/web/2017/07/10/cvc4-1-5-released/ R

Bug#835865: RFP: blocks -- deep learning framework build on the top of Theano

On Sun, Nov 20, 2016 at 05:31:40PM +0100, Daniel Stender wrote: > I haven't discussed this yet with the ITP holder (busy), but as foreseeable > sponsor and > reporter of this bug I say that's all right. We could name the source package > that way, > no problem. Sorry for the delay. Yes, of cours

Bug#841209: ITP: python-picklable-itertools -- a picklable reimplementation of Python's itertools

Package: wnpp Severity: wishlist Owner: Fabian Wolff * Package name: python-picklable-itertools Version:: 0.1.1 Upstream Author : David Warde-Farley * URL : https://github.com/mila-udem/picklable-itertools * License:: Expat Programming Lang: Python

Bug#757048: ITP: cvc4 -- An automatic theorem prover for SMT problems

Control: owner -1 ! >From http://cs.nyu.edu/~mdeters/: The Department of Computer Science regrets to inform you that Morgan Deters passed away on Saturday, January 17, 2015. To ensure progress with this package, I'm claiming this ITP. I am already in contact with the upstream developers, s