projects / gentoo.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
app-text/linuxdoc-tools: remove old
[gentoo.git] / sci-libs / armadillo /
drwxr-xr-x   ..
-rw-r--r-- 1536 Manifest blob | history | raw
-rw-r--r-- 1155 armadillo-3.4.4.ebuild blob | history | raw
-rw-r--r-- 1162 armadillo-3.6.2.ebuild blob | history | raw
-rw-r--r-- 3000 armadillo-6.200.3.ebuild blob | history | raw
-rw-r--r-- 3245 armadillo-7.500.2-r1.ebuild blob | history | raw
-rw-r--r-- 1537 metadata.xml blob | history | raw
Unnamed repository; edit this file 'description' to name the repository.