overlays / user/dawan.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionOCaml and proof-search related ebuilds
ownerQuentin Heath <dawan@melix.net>
last changeFri, 13 Jul 2012 13:40:08 +0000 (15:40 +0200)
URLgit://git.overlays.gentoo.org/user/dawan.git
https://git.overlays.gentoo.org/gitroot/user/dawan.git
git+ssh://git@git.overlays.gentoo.org/user/dawan.git
shortlog
2012-07-13 Quentin HeathMerge local branch (bedwyr-1.4-alpha1) master commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-07-13 Quentin Heathversion bump commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-05-13 Quentin Heathsélection d'ebuilds de l'overlay stuge (qui est mal... commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-29 Quentin HeathMerge [ndcore|bedwyr]-1.3_rc2.ebuild commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-29 Quentin Heathversion bump commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-24 Quentin HeathMerge bedwyr-1.3_beta10.ebuild and ndcore-1.3_beta10... commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-24 Quentin Heathversion bump commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-24 Quentin Heathexit les ebuilds non patchés commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-15 Quentin Heathversion bump + patch commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-15 Quentin Heathpatch pour echangelog ('git diff' += '--no-ext-diff') commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-15 Quentin Heaths/dépot local dawan/branche master du dépot polarlay/ commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-14 Quentin Heathforgot manifests commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-14 Quentin Heathinitial ebuilds commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
2012-02-14 Quentin Heathinitial commit commit | commitdiff | tree | snapshot (tar.gz tar.bz2 zip)
heads
10 months ago master shortlog | log | tree
OCaml and proof-search related ebuilds