[ghc-Agda] moved/renamed to Agda package

[Jens Petersen]

commit a9ef00406a9de2a51b7f80c7f366d4bf449ad4fd
Author: Jens Petersen <petersen at redhat.com>
Date:   Fri Jun 14 18:48:39 2013 +0900

    moved/renamed to Agda package

 .gitignore        |    2 -
 agda-mode-init.el |    6 --
 dead.package      |    1 +
 ghc-Agda.spec     |  260 -----------------------------------------------------
 sources           |    1 -
 5 files changed, 1 insertions(+), 269 deletions(-)
---
diff --git a/dead.package b/dead.package
new file mode 100644
index 0000000..64d184b
--- /dev/null
+++ b/dead.package
@@ -0,0 +1 @@
+moved/renamed to Agda package