rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity
3 Commits 2 Branches 0 Tags 233 KiB
XML 100%
a6698df172
Go to file
Aaron Puchert a6698df172 - Remove line break, apparently that doesn't work. 
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=3
2019-09-25 20:43:30 +00:00
.gitattributes Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
.gitignore Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq-8.9.1.tar.gz Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq-rpmlintrc Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq.changes - Prevent OOM by limiting the number of threads. 2019-09-25 20:17:00 +00:00
coq.desktop Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq.spec - Remove line break, apparently that doesn't work. 2019-09-25 20:43:30 +00:00
coq.xml Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00