Aaron Puchert
|
f2a34ee4a1
|
- Fix findlib build dependency.
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=7
|
2019-11-13 01:44:06 +00:00 |
|
Aaron Puchert
|
bc5f5c08e6
|
- Use memory-constraints package to limit number of threads.
- Add dependencies to fix installation issues.
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=6
|
2019-11-03 18:30:53 +00:00 |
|
Aaron Puchert
|
c14d724bca
|
- Fix typo.
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=5
|
2019-09-25 21:33:11 +00:00 |
|
Aaron Puchert
|
ded928ac6b
|
- Adjust number of jobs manually.
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=4
|
2019-09-25 21:30:35 +00:00 |
|
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 |
|
Aaron Puchert
|
057e1be183
|
- Prevent OOM by limiting the number of threads.
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=2
|
2019-09-25 20:17:00 +00:00 |
|
|
|
928f86c4f8
|
Accepting request 733035 from home:aaronpuchert
- Initial release based on version 8.9.1.
OBS-URL: https://build.opensuse.org/request/show/733035
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=1
|
2019-09-25 09:10:33 +00:00 |
|
