 	     '("melpa-stable" . "http://stable.melpa.org/packages/") t)
 (add-to-list 'package-archives
 	     '("melpa" . "http://melpa.org/packages/") t)
-;; (add-to-list 'package-archives
-;; 	     '("marmalade" . "http://marmalade-repo.org/packages/") t)
+(add-to-list 'package-archives
+	     '("org" . "http://orgmode.org/elpa/") t)
 
 (setq package-pinned-packages
       '(
 	(powerline . "melpa-stable")
 	(moe-theme . "melpa")
-	(magit . "melpa-stable")
 	(evil . "melpa-stable")
 	(evil-leader . "melpa-stable")
 	(company . "melpa-stable")
+	(helm . "melpa-stable")
 	(flycheck . "melpa-stable")
+	(evil-org . "melpa-stable")
 	(ghc . "melpa-stable")
 	(haskell-mode . "melpa-stable")
+	(flycheck-haskell . "melpa-stable")
+	(clojure-mode . "melpa-stable")
+	(inf-clojure . "melpa-stable")
 	(scala-mode2 . "melpa-stable")
 	(sbt-mode . "melpa")
 	(ensime . "melpa")
-	(idris-mode . "melpa-stable")))
+	(idris-mode . "melpa-stable")
+	(coffee-mode . "melpa")
+	(company-coq . "melpa")
+	))
 
 (package-initialize)
 

(use-package ensime
  :ensure t)

;; Idris

(use-package idris-mode
  :ensure t)

(use-package evil
  :ensure t
  :init (progn
	  (setq evil-want-C-u-scroll t)
	  (setq evil-want-C-w-delete t)
	  )
  :config (evil-mode 1))

(use-package evil-leader
  :ensure t
  :config (progn
	    (evil-leader/set-leader "<SPC>")
	    (evil-leader/set-key
	      "c" 'comment-or-uncomment-region)
	    (global-evil-leader-mode)))

;;;;;;;;;;;;;;;;
