Directory: /macports/release/ports/math/vampire/files/

File Name ↓		File Size ↓	Date ↓
Parent directory/		-	-
patch-CMakeLists.txt.diff		796 B	2021-Jun-04 02:51

Copyright © Intelligent Software Research Center, Institute of Software, Chinese Academy of Sciences

Theme available on GitHub by Naereen, © 2015-18, released under the MIT License.