rpm/racket
SHA256
1
0
Fork 0
forked from pool/racket
Code Pull Requests Activity
155cd040cd
racket/_constraints

32 lines
637 B
Plaintext
Raw Normal View History

Accepting request 560973 from home:KGronlund:branches:devel:languages:misc - Update to Racket 6.11 * Typed Racket supports refinement types and dependent function types. * DrRacket’s Program Contour is significantly more efficient * The web-server/formlets library produces formlets that are serializable * The db library supports the Cassandra database - Ensure more system resources when building package OBS-URL: https://build.opensuse.org/request/show/560973 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=25
2018-01-04 05:41:15 +01:00
<?xml version="1.0"?>
<constraints>
Accepting request 690400 from home:WernerFink:branches:devel:languages:misc - Add patch extflvector-length-inlined.patch from upstream commit 80f84f21 to get extflvector-length work even on i586 - Spec file clean up - Try to get it work on some ix86 CPU versions - Require some missed libraries and certificates for build as well as for installation even if rmplint cries - Update to racket 7.2 * The contract system supports collapsible contracts, which avoid repeated wrappers in certain pathological situations. Thanks to Daniel Feltey. * Quickscript, a scripting tool for DrRacket, has become part of the standard distribution. Thanks to Laurent Orseau. * The web server's built-in configuration for serving static files recognizes the ".mjs" extension for JavaScript modules. * The `data/enumerate` library supports an additional form of subtraction via `but-not/e`, following Yorgey and Foner's ICFP'18 paper. Thanks to Max New. * The `letrec.rkt` example model in Redex has been changed to more closely match Racket, which led to some bug fixes in Racket's implementation of `letrec` and `set!`. * The racklog library has seen a number of improvements, including fixes to logic variable binding, logic variables containing predicates being applicable, and the introduction of an `%andmap` higher-order predicate. OBS-URL: https://build.opensuse.org/request/show/690400 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=32
2019-04-02 13:13:17 +02:00
<sandbox>kvm</sandbox>
<hostlabel exclude="true">SLOW_CPU</hostlabel>
Accepting request 560973 from home:KGronlund:branches:devel:languages:misc - Update to Racket 6.11 * Typed Racket supports refinement types and dependent function types. * DrRacket’s Program Contour is significantly more efficient * The web-server/formlets library produces formlets that are serializable * The db library supports the Cassandra database - Ensure more system resources when building package OBS-URL: https://build.opensuse.org/request/show/560973 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=25
2018-01-04 05:41:15 +01:00
<hardware>
<processors>4</processors>
Accepting request 690400 from home:WernerFink:branches:devel:languages:misc - Add patch extflvector-length-inlined.patch from upstream commit 80f84f21 to get extflvector-length work even on i586 - Spec file clean up - Try to get it work on some ix86 CPU versions - Require some missed libraries and certificates for build as well as for installation even if rmplint cries - Update to racket 7.2 * The contract system supports collapsible contracts, which avoid repeated wrappers in certain pathological situations. Thanks to Daniel Feltey. * Quickscript, a scripting tool for DrRacket, has become part of the standard distribution. Thanks to Laurent Orseau. * The web server's built-in configuration for serving static files recognizes the ".mjs" extension for JavaScript modules. * The `data/enumerate` library supports an additional form of subtraction via `but-not/e`, following Yorgey and Foner's ICFP'18 paper. Thanks to Max New. * The `letrec.rkt` example model in Redex has been changed to more closely match Racket, which led to some bug fixes in Racket's implementation of `letrec` and `set!`. * The racklog library has seen a number of improvements, including fixes to logic variable binding, logic variables containing predicates being applicable, and the introduction of an `%andmap` higher-order predicate. OBS-URL: https://build.opensuse.org/request/show/690400 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=32
2019-04-02 13:13:17 +02:00
<physicalmemory>
Accepting request 560973 from home:KGronlund:branches:devel:languages:misc - Update to Racket 6.11 * Typed Racket supports refinement types and dependent function types. * DrRacket’s Program Contour is significantly more efficient * The web-server/formlets library produces formlets that are serializable * The db library supports the Cassandra database - Ensure more system resources when building package OBS-URL: https://build.opensuse.org/request/show/560973 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=25
2018-01-04 05:41:15 +01:00
<size unit="G">4</size>
Accepting request 690400 from home:WernerFink:branches:devel:languages:misc - Add patch extflvector-length-inlined.patch from upstream commit 80f84f21 to get extflvector-length work even on i586 - Spec file clean up - Try to get it work on some ix86 CPU versions - Require some missed libraries and certificates for build as well as for installation even if rmplint cries - Update to racket 7.2 * The contract system supports collapsible contracts, which avoid repeated wrappers in certain pathological situations. Thanks to Daniel Feltey. * Quickscript, a scripting tool for DrRacket, has become part of the standard distribution. Thanks to Laurent Orseau. * The web server's built-in configuration for serving static files recognizes the ".mjs" extension for JavaScript modules. * The `data/enumerate` library supports an additional form of subtraction via `but-not/e`, following Yorgey and Foner's ICFP'18 paper. Thanks to Max New. * The `letrec.rkt` example model in Redex has been changed to more closely match Racket, which led to some bug fixes in Racket's implementation of `letrec` and `set!`. * The racklog library has seen a number of improvements, including fixes to logic variable binding, logic variables containing predicates being applicable, and the introduction of an `%andmap` higher-order predicate. OBS-URL: https://build.opensuse.org/request/show/690400 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=32
2019-04-02 13:13:17 +02:00
</physicalmemory>
<memory>
<size unit="G">6</size>
Accepting request 560973 from home:KGronlund:branches:devel:languages:misc - Update to Racket 6.11 * Typed Racket supports refinement types and dependent function types. * DrRacket’s Program Contour is significantly more efficient * The web-server/formlets library produces formlets that are serializable * The db library supports the Cassandra database - Ensure more system resources when building package OBS-URL: https://build.opensuse.org/request/show/560973 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=25
2018-01-04 05:41:15 +01:00
</memory>
Accepting request 690400 from home:WernerFink:branches:devel:languages:misc - Add patch extflvector-length-inlined.patch from upstream commit 80f84f21 to get extflvector-length work even on i586 - Spec file clean up - Try to get it work on some ix86 CPU versions - Require some missed libraries and certificates for build as well as for installation even if rmplint cries - Update to racket 7.2 * The contract system supports collapsible contracts, which avoid repeated wrappers in certain pathological situations. Thanks to Daniel Feltey. * Quickscript, a scripting tool for DrRacket, has become part of the standard distribution. Thanks to Laurent Orseau. * The web server's built-in configuration for serving static files recognizes the ".mjs" extension for JavaScript modules. * The `data/enumerate` library supports an additional form of subtraction via `but-not/e`, following Yorgey and Foner's ICFP'18 paper. Thanks to Max New. * The `letrec.rkt` example model in Redex has been changed to more closely match Racket, which led to some bug fixes in Racket's implementation of `letrec` and `set!`. * The racklog library has seen a number of improvements, including fixes to logic variable binding, logic variables containing predicates being applicable, and the introduction of an `%andmap` higher-order predicate. OBS-URL: https://build.opensuse.org/request/show/690400 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=32
2019-04-02 13:13:17 +02:00
<disk>
<size unit="G">1</size>
</disk>
Accepting request 560973 from home:KGronlund:branches:devel:languages:misc - Update to Racket 6.11 * Typed Racket supports refinement types and dependent function types. * DrRacket’s Program Contour is significantly more efficient * The web-server/formlets library produces formlets that are serializable * The db library supports the Cassandra database - Ensure more system resources when building package OBS-URL: https://build.opensuse.org/request/show/560973 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=25
2018-01-04 05:41:15 +01:00
</hardware>
Accepting request 690400 from home:WernerFink:branches:devel:languages:misc - Add patch extflvector-length-inlined.patch from upstream commit 80f84f21 to get extflvector-length work even on i586 - Spec file clean up - Try to get it work on some ix86 CPU versions - Require some missed libraries and certificates for build as well as for installation even if rmplint cries - Update to racket 7.2 * The contract system supports collapsible contracts, which avoid repeated wrappers in certain pathological situations. Thanks to Daniel Feltey. * Quickscript, a scripting tool for DrRacket, has become part of the standard distribution. Thanks to Laurent Orseau. * The web server's built-in configuration for serving static files recognizes the ".mjs" extension for JavaScript modules. * The `data/enumerate` library supports an additional form of subtraction via `but-not/e`, following Yorgey and Foner's ICFP'18 paper. Thanks to Max New. * The `letrec.rkt` example model in Redex has been changed to more closely match Racket, which led to some bug fixes in Racket's implementation of `letrec` and `set!`. * The racklog library has seen a number of improvements, including fixes to logic variable binding, logic variables containing predicates being applicable, and the introduction of an `%andmap` higher-order predicate. OBS-URL: https://build.opensuse.org/request/show/690400 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=32
2019-04-02 13:13:17 +02:00
<overwrite>
<conditions>
<arch>i586</arch>
<arch>x86_64</arch>
</conditions>
<hardware>
<cpu>
<flag>mmx</flag>
<flag>sse</flag>
<flag>sse2</flag>
<flag>ssse3</flag>
</cpu>
</hardware>
</overwrite>
Accepting request 560973 from home:KGronlund:branches:devel:languages:misc - Update to Racket 6.11 * Typed Racket supports refinement types and dependent function types. * DrRacket’s Program Contour is significantly more efficient * The web-server/formlets library produces formlets that are serializable * The db library supports the Cassandra database - Ensure more system resources when building package OBS-URL: https://build.opensuse.org/request/show/560973 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/racket?expand=0&rev=25
2018-01-04 05:41:15 +01:00
</constraints>
Copy Permalink