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

2015-11-18 Thread Marko Dimjašević
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

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

2016-10-25 Thread Marko Dimjašević
SBT build-depends on itself. -- Regards, Marko Dimjašević <ma...@dimjasevic.net> 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: Packaging sbt

2016-12-08 Thread Marko Dimjašević
h someone experienced on board to guide those of us that are less experienced. -- Regards, Marko Dimjašević <ma...@dimjasevic.net> 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#914691: RFA: agda-stdlib -- standard library for Agda

2018-11-26 Thread Marko Dimjašević
tainer. 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've been learning Ag