Elentir wrote:
> I made a FB for Coq, it's a formal proof system in objective caml. Can
> you have a look at it?
> About version number, 'pl4' is a sub-version that's why I do not use
> 'pkgextraver' for it.
.....
+source=("$url/V$pkgver/files/$pkgname-$pkgver.tar.gz")
+depends=('ocaml' 'lablgtk2' 'camlp5')
It does depends on GTK so you need options=('scriptlet')
.....
> Thanks
> Elentir
crazy
_______________________________________________
Frugalware-devel mailing list
[email protected]
http://frugalware.org/mailman/listinfo/frugalware-devel
