diff options
author | Stefan Eßer <se@FreeBSD.org> | 2021-10-19 11:14:35 +0000 |
---|---|---|
committer | Stefan Eßer <se@FreeBSD.org> | 2021-10-19 11:14:35 +0000 |
commit | 32b46ee94b2d513b3961b0b51d1eeec00cc4519b (patch) | |
tree | 344be192b64047c76ab5f1b987ab7ba9a5505251 /math/igraph/Makefile | |
parent | b3dcccf6405d5a7c5f98fc91c4b16d9aaac6d89e (diff) | |
download | ports-32b46ee94b2d513b3961b0b51d1eeec00cc4519b.tar.gz ports-32b46ee94b2d513b3961b0b51d1eeec00cc4519b.zip |
math/btor2tools: Add CPE information
Approved by: portmgr (blanket)
Diffstat (limited to 'math/igraph/Makefile')
0 files changed, 0 insertions, 0 deletions