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 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!!! > > > > Bes

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] http

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 muc

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 wrote: > Package: wnpp > Severity: wishlist > Owner: Michael Tautschnig > > * Package name: infer > Version : 0.1.0 > Upstream Author : Facebook, Inc > * URL : http://

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 * 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, C and Objective-