Dear Ilias Tsitsimpis,
does your intention to remove haskell-edison-api mean that Agda 2.6.1 will
be packaged for Debian bullseye?
--
Regards,
Marko Dimjašević
https://dimjasevic.net/marko
Mastodon: https://mamot.fr/@mdimjasevic
PGP key ID: 056E61A6F3B6C9323049DBF9565EE9641503F0AA
Learn
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
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
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
the call to malloc from step 1) is replaced
with:
buf = (char *) calloc(st.st_size + 1, sizeof(char))
--
Kind regards,
Marko Dimjašević <ma...@cs.utah.edu> . University of Utah
https://dimjasevic.net/marko . PGP key ID: 1503F0AA
Learn email self-defense! https://emai
branch --git-pbuilder
-us -uc -j8
Any clue what went wrong?
I looked at the tests/query-files/lit.cfg config file/script in
question, but I don't see why it would fail.
--
Regards,
Marko Dimjašević <ma...@cs.utah.edu> . University of Utah
https://dimjasevic.net/marko . PGP
Can you be specific, i.e. which other options should I
use that reveal issues you are talking about?
--
Regards,
Marko Dimjašević <ma...@cs.utah.edu> . University of Utah
https://dimjasevic.net/marko . PGP key ID: 1503F0AA
Learn email self-defense! https://emailself
/git/debian-science/packages/stp.git
--
Regards,
Marko Dimjašević <ma...@cs.utah.edu> . University of Utah
https://dimjasevic.net/marko . PGP key ID: 1503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org
On Sat, 2016-02-13 at 17:41 -0700, Marko Dimjašević wrote:
>
utputCheck archive per Thorsten Alteholz's
instructions (ftp-master)
--
Kind regards,
Marko Dimjašević
https://dimjasevic.net/marko
signature.asc
Description: This is a digitally signed message part
On Sat, 2016-02-13 at 17:41 -0700, Marko Dimjašević wrote:
> Package: sponsorship-requests
> Severity: wishlist
>
> Dear mentors,
>
> I am looking for a sponsor for my package "stp"
Just to clarify this...
With the sponsorship of the ITP's [1] owner I uploaded
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
11 matches
Mail list logo