Files

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

8 lines
136 B
Plaintext
Raw Permalink Normal View History

2025-10-09 14:15:47 +02:00
name="gmp"
version="@VERSION@"
description="bindings to GNU MP library"
archive(byte)="gmp.cma"
archive(native)="gmp.cmxa"
requires=""