projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58966db) | patch
Drop old patches
authorMark Wright <gienah@gentoo.org>
Thu, 29 Jan 2015 04:15:47 +0000 (04:15 +0000)
committerMark Wright <gienah@gentoo.org>
Thu, 29 Jan 2015 04:15:47 +0000 (04:15 +0000)
commitc74a484f082714af0b870521bbf031d95eb2b4e4
tree74f428624c25fe8bcff99f95b6b57ea5bb448c5dtree | snapshot
parent58966db7420e9064d93c8f73c1aad60362a589e5commit | diff
Drop old patches

Package-Manager: portage-2.2.15/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
sci-mathematics/agda/ChangeLog diff | blob | history
sci-mathematics/agda/Manifest diff | blob | history
sci-mathematics/agda/files/agda-2.3.0-emacs.patch [deleted file] blob | history
sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch [deleted file] blob | history
sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch [deleted file] blob | history
sci-mathematics/agda/files/agda-2.3.0.1-mtl-2.1.patch [deleted file] blob | history
sci-mathematics/agda/files/agda-2.3.0.1-quickcheck-2.5.patch [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.