cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update to lablgtk-3.1.1 to fix the build and unlock coq

Browse Source
This commit is contained in:
daniel 2021-02-11 04:17:32 +00:00
parent 3e7897fbba
commit 10baa618a2
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
x11/lablgtk3/Makefile
View File

@ -1,11 +1,11 @@
# $OpenBSD: Makefile,v 1.5 2020/05/22 19:56:40 chrisz Exp $
# $OpenBSD: Makefile,v 1.6 2021/02/11 04:17:32 daniel Exp $
COMMENT = OCaml interface to GTK+3
CATEGORIES = x11 devel
GH_ACCOUNT = garrigue
GH_PROJECT = lablgtk
GH_TAGNAME = 3.1.0
GH_TAGNAME = 3.1.1
PKGNAME = lablgtk3-${GH_TAGNAME}
# LGPL

4
x11/lablgtk3/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (lablgtk-3.1.0.tar.gz) = +aZiihTg3O3aX6v5Scvy3++xrywnF0hTtjr/hNF9XbA=
SIZE (lablgtk-3.1.0.tar.gz) = 1031045
SHA256 (lablgtk-3.1.1.tar.gz) = sfcUQ3csyLawaSg9nMxovrKA7fWUm4NOoGMXrf465oI=
SIZE (lablgtk-3.1.1.tar.gz) = 1031279