Bug#914691: RFA: agda-stdlib -- standard library for Agda

gt; the Maintainer. Let me know if there is a process to follow in applying, but I'd like to contribute with maintaining this library package. So far I had a few attempts about two years ago in creating a C++ package or two, but none in Haskell or Agda. I use Haskell professionally and I

Bug#639910: Packaging sbt

is for a couple of hours. Of course, with someone experienced on board to guide those of us that are less experienced. -- Regards, Marko Dimjašević https://dimjasevic.net/marko PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org signature.asc Description: This is a digitally signed message part

Bug#639910: ITP: simple-build-tool -- for scala and java projects

cause SBT build-depends on itself. -- Regards, Marko Dimjašević https://dimjasevic.net/marko PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org signature.asc Description: This is a digitally signed message part

Bug#805525: ITP: jpf - Java Pathfinder virtual machine for Java

Package: wnpp Severity: wishlist * Package name: jpf Version : 29 Upstream author : The National Aeronautics and Space Administration * URL : http://babelfish.arc.nasa.gov/trac/jpf/ * License : Apache 2.0 Programming Lang: Java Description : Java Pathfin