[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda-stdlib-ffi: - New directory

[Mark Wright (gienah)]

gienah      14/12/14 10:25:45

  Log:
  Directory /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib-ffi added to 
the repository