Block or report user

Popular repositories

  1. easylib-slice

    Coq formulations and (maybe) correctness proofs for alternative string searching algos

    Coq

  2. tuxfeeder

    this project has moved to: git://ahiker.mooo.com/tuxfeeder.git

  3. coverlet

    This project has moved to git://ahiker.mooo.com/coverlet.git

  4. noqp

    This project has moved to git://ahiker.mooo.com/noqp.git

  5. easylib

    This project has moved to: git://ahiker.mooo.com/easylib.git

36 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity First issue First repository Joined GitHub

March 2017

Created an issue in neomutt/neomutt that received 2 comments

configure bombs without LUA_VERSION even with --disable-lua

[15+0]neomutt$ ./configure --disable-doc --with-gdbm --enable-gpgme --enable-debug --disable-po --disable-doc --with-ssl --disable-lua checking fo…

Seeing something unexpected? Take a look at the GitHub profile guide.