Anton Trunov anton-trunov

## coq-opam-switch.el
;; The following works with OPAM 2.0.x
;; Put this piece of code into your .emacs and use it interactively as
;; M-x coq-change-compiler
;; If you change your OPAM installation by e.g. adding more switches, then
;; run M-x coq-update-opam-switches and coq-change-compiler will show the updated set of switches.

(defun opam-ask-var (switch package var)
  (ignore-errors (car (process-lines
                       "opam" "var" "--safe" "--switch" switch (concat package ":" var)))))

## keybase.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                anton-trunov
                / keybase.md
            
            
              Created
              September 3, 2019 07:26
            
          
        
      
        
  
      
    Keybase proof

I hereby claim:

I am anton-trunov on github.
I am anton_trunov (https://keybase.io/anton_trunov) on keybase.
I have a public key ASDag_9uwDW3dyJML1JZk9sHb9xVtJSbiMNOGC6SYVD2igo

To claim this, I am signing this object:
	;; The following works with OPAM 2.0.x
	;; Put this piece of code into your .emacs and use it interactively as
	;; M-x coq-change-compiler
	;; If you change your OPAM installation by e.g. adding more switches, then
	;; run M-x coq-update-opam-switches and coq-change-compiler will show the updated set of switches.

	(defun opam-ask-var (switch package var)
	(ignore-errors (car (process-lines
	"opam" "var" "--safe" "--switch" switch (concat package ":" var)))))