Directory: /gentoo-portage/dev-lang/idris2/files/

File Name ↓		File Size ↓	Date ↓
Parent directory/		-	-
idris2-0.7.0-disable-allbackends-tests.patch		255 B	2023-Dec-27 09:40

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.