core/cornelis 2.8.0 Public Latest

Neovim support for Agda


    
  
      
      $ brew install cornelis

darwin/macos 13.7/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:8c8597778a2647e5cc2cfa10fd881b82cad9f4f08fe963f7edbd59116551f8ca

darwin/macos 13.7/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:24744220b47026bebe031b7aa38ef2474cf9f931b9ff674fbb5df7ba8331bd91

darwin/macos 14.7/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:18860b659ccf146f39b0e875019f9a65ea7131887b36fd68de9a442a301ac207

darwin/macos 14.7/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:1f4d36e0854cdc945d567af7ece2b713748f1aee2478b1cdeb8db4d09d674c5f

darwin/macos 15.4/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:11f72c95eefb085fc30e6db3074af9ecd6c57424cc82ba0e9f0574079afdc2fa

darwin/macos 26/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:b974ac5fdea7d9787debe74232cfb47516d078fbca809cf8e4c2c6bf2c2d891f

linux/ubuntu 22.04.5/amd64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:28ce7ebe4de822b8b3ad77a82936c7c56d2d710cde72be6d09bac569dacb6c30

linux/ubuntu 22.04.5/arm64


      
  
      
        $ docker pull ghcr.io/homebrew/core/cornelis:2.8.0@sha256:0b01a434db04432f61bc1baf0c205ddeea6eb4fa6abc36207848ec977087393c