diff options
Diffstat (limited to 'dev-ml/facile')
| -rw-r--r-- | dev-ml/facile/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/facile/files/facile-1.1.4-dune.patch | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index 9392b7219015..10695257e756 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1,5 +1,5 @@ AUX facile-1.1-make.patch 1613 BLAKE2B e469aa4820358b9d197251c6b3c6150c0aeaca8362d104441fc35e975e401776e1d23804a160cd6b37c545c769c0c856ff871d0428bbde47828fc9cc79125d20 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0 -AUX facile-1.1.4-dune.patch 911 BLAKE2B 37c3f4271c28c5d04b3bbf437e255920fdd8dac93a1610b628d5424f2443573afd6590028c4e84894245e2aee4fe710b13fb740aa869e84359fc41f99394525e SHA512 ff91480da10cfde789cfb1ff005dc7501c922ddd9056bc4a24772e15935cccb8b088aacee353469e11b23c98afca98615f2e12abd20c40cdf32b2d811b750648 +AUX facile-1.1.4-dune.patch 883 BLAKE2B d563aff52eda151c9579c378253b74811759a8e66cae9dc775ebf3bed3717d6289ec40a107610032de3c575a8c98cd45651fe7d26c7a08e55887b1d2c61ad613 SHA512 df90e73916b2e42d20bae837c24be96633ef34fe731bac07307ade12fb10fbf5c575658ee295c5003f28aa989574fe323c7a3040b6063bf8522d0691a5255a5e DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346 DIST facile-1.1.4.tbz 83874 BLAKE2B a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db SHA512 b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9 EBUILD facile-1.1.3-r1.ebuild 1371 BLAKE2B a95ab724e5e95eddbeb057e7599f79875169d3008bc3b2651d69907c4d4649bf4e9a8886d8224048860f95870be154d2c46f8ffeefa8ad42e7dfec574dcac919 SHA512 7aa98cb8865baa7d7c04fb1982f2c3fdeb623a46e14b501896fe9ba088df3b72f543be18464909c9cc29cfb7dc301907bad73a9da21c7a8167facf7d8e867c74 diff --git a/dev-ml/facile/files/facile-1.1.4-dune.patch b/dev-ml/facile/files/facile-1.1.4-dune.patch index f9c667cabb1d..f740a80c4cd5 100644 --- a/dev-ml/facile/files/facile-1.1.4-dune.patch +++ b/dev-ml/facile/files/facile-1.1.4-dune.patch @@ -21,10 +21,9 @@ new file mode 100644 index 0000000..d28179f --- /dev/null +++ b/lib/dune -@@ -0,0 +1,5 @@ +@@ -0,0 +1,4 @@ +(library + (public_name facile) -+ (libraries stdlib-shims) + (ocamlopt_flags (-unsafe -noassert -inline 10)) +) diff --git a/lib_test/dune b/lib_test/dune |