name	last commit	date
.gitignore	Initialize repo, new packages.	Wed Feb 22 22:10:31+0100 2017
README.md	Add non free compcert.	Tue May 02 14:01:35+0200 2017
chromium-gn-remove-third-party.patch	start working on skia	Tue Feb 28 17:45:27+0100 2017
more/	Add non free compcert.	Tue May 02 14:01:35+0200 2017
ocaml-piqilib-fix-makefile.patch	moved patches to proper location and fixed ocaml-ppx-assert	Tue Feb 28 23:57:44+0100 2017
ocamlgraph-honor-source-date-epoch.patch	moved patches to proper location and fixed ocaml-ppx-assert	Tue Feb 28 23:57:44+0100 2017

More packages for the Guix package manager! This repository contains recipes for packages that I am working on. They will eventually be sent upstream. When this is the case, they will vanish from this repo.

How to use these packages?

export GUIX_PACKAGE_PATH=$HOME/guix-more

That's it!

What is in there?

Binary analysis software

capstone: A disassembler framework with a lot of supported architectures
z3: A constraint solver
angr: A binary analysis tool
radare2: A disassembler and analysis tool
bap: A binary analysis platform

Games

lugaru: A third-person action game

Video

aegisub: A subtitle editor

Webservices

pootle: A community translation server

Java

antlr3: A parser generator
josm: An openstreetmap editor

Non-free

compcert: A certified C compiler

Current work

Using skia with icecat

Currently working on this. I have skia, but it requires some tricks to actually have icecat build with it.

Adding gradle and groovy

Gradle is partially written in groovy, which itself is partially written in groovy. I currently am working on some dependencies, but I don't have a clear plan for groovy.