1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
5 <email>patrick@gentoo.org</email>
6 <name>Patrick Lauer</name>
9 <remote-id type='github'>wbhart/flint2</remote-id>
12 <flag name='gc'>Enable garbage collection
13 support via <pkg>dev-libs/boehm-gc</pkg></flag>
14 <flag name='ntl'>Build NTL interface</flag>