Bug#789059: ITP: infer -- static analyzer for Java, C and Objective-C

2016-02-15 Thread Thomas Wood
Hi, Has any progress been made on this packaging project? I would be interested in helping package this, as it would assist deployment to a computer lab for a taught course. Regards, Thomas

Bug#789059: ITP: infer -- static analyzer for Java, C and Objective-C

2015-07-16 Thread Lucas Kanashiro
Hi. What is the status of this packaging work? On Wed, 17 Jun 2015 14:12:11 +0100 Michael Tautschnig m...@debian.org wrote: Package: wnpp Severity: wishlist Owner: Michael Tautschnig m...@debian.org * Package name: infer Version : 0.1.0 Upstream Author : Facebook, Inc *

Bug#789059: ITP: infer -- static analyzer for Java, C and Objective-C

2015-07-16 Thread Michael Tautschnig
Hi, Hi. What is the status of this packaging work? [...] While some of the preparatory work has been done, it will need sawja and javalib to be packaged first, as per my email to ocaml-maint [1]. As there hasn't been any reply, I might have to take on this myself. That said: any help is much

Bug#789059: ITP: infer -- static analyzer for Java, C and Objective-C

2015-07-16 Thread Lucas Kanashiro
While some of the preparatory work has been done, it will need sawja and javalib to be packaged first, as per my email to ocaml-maint [1]. As there hasn't been any reply, I might have to take on this myself. That said: any help is much appreciated!!! Best, Michael [1]

Bug#789059: ITP: infer -- static analyzer for Java, C and Objective-C

2015-07-16 Thread Michael Tautschnig
Hi, While some of the preparatory work has been done, it will need sawja and javalib to be packaged first, as per my email to ocaml-maint [1]. As there hasn't been any reply, I might have to take on this myself. That said: any help is much appreciated!!! Best, Michael

Bug#789059: ITP: infer -- static analyzer for Java, C and Objective-C

2015-06-17 Thread Michael Tautschnig
Package: wnpp Severity: wishlist Owner: Michael Tautschnig m...@debian.org * Package name: infer Version : 0.1.0 Upstream Author : Facebook, Inc * URL : http://fbinfer.com/ * License : BSD Programming Lang: OCaml Description : static analyzer for Java,