summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 47500b06fdcc46f78da8813e8c122bd71faede41 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# Maintainer: Simon Cruanes <simon.cruanes.2007@m4x.org>
pkgname=dolmenls
pkgver=0.6
pkgrel=0
pkgdesc="LSP server for Dolmen, a tool for logic and theorem proving."
arch=('x86_64')
url="https://github.com/gbury/dolmen"
license=('BSD-2-Clauses')
depends=()
source=("https://github.com/Gbury/dolmen/releases/download/v0.6/dolmenls-linux-amd64")
md5sums=('17264149b92f056676cb1884c8dcdd22')

package() {
  install -D dolmenls-linux-amd64 "$pkgdir/usr/bin/dolmenls"
}