Simple refinement types for Scala
| Version | Scala | Scala.js | Vulnerabilities | Repository | Usages | Date |
---|
0.11.x | 0.11.2 | 3 2.13 2.12
| | | Central | | Jun 01, 2024 |
0.11.1 | 3 2.13 2.12
| | | Central | | Jan 26, 2024 |
0.11.0 | 3 2.13 2.12
| | | Central | | Jun 16, 2023 |
0.10.x | 0.10.3 | 3 2.13 2.12
| | | Central | | Mar 21, 2023 |
0.10.2 | 3 2.13 2.12
| | | Central | | Mar 03, 2023 |
0.10.1 | 3 2.13 2.12
| | | Central | | Jul 06, 2022 |
0.10.0 | 3 2.13 2.12
| | | Central | | Jun 27, 2022 |
0.9.x | 0.9.29 | 3 2.13 2.12
| | | Central | | May 10, 2022 |
0.9.28 | 3 2.13 2.12
| | | Central | | Nov 30, 2021 |
0.9.27 | 3 2.13 2.12
| | | Central | | Jul 20, 2021 |
0.9.26 | 3 2.13 2.12
| | | Central | | May 26, 2021 |
0.9.25 | 3 2.13 2.12
| | | Central | | May 14, 2021 |
0.9.24 | 2.13 2.12
| | | Central | | Apr 21, 2021 |
0.9.23 | 2.13 2.12
| | | Central | | Apr 04, 2021 |
0.9.22 | 2.13 2.12
| | | Central | | Mar 29, 2021 |
0.9.21 | 2.13 2.12
| | | Central | | Feb 18, 2021 |
0.9.20 | 2.13 2.12
| | | Central | | Jan 05, 2021 |
0.9.19 | 2.13 2.12
| | | Central | | Dec 02, 2020 |
0.9.18 | 2.13 2.12
| | | Central | | Nov 14, 2020 |
0.9.17 | 2.13 2.12
| | | Central | | Sep 28, 2020 |
0.9.16 | 2.13 2.12
| | | Central | | Sep 20, 2020 |
0.9.15 | 2.13 2.12
| 0.6
(2.13) 0.6
(2.12)
| | Central | | Jul 16, 2020 |
0.9.14 | 2.13 2.12
| 0.6
(2.13) 0.6
(2.12)
| | Central | | Apr 22, 2020 |
0.9.13 | 2.13 2.12
| 0.6
(2.13) 0.6
(2.12)
| | Central | | Mar 04, 2020 |
0.9.12 | 2.13 2.12 2.11
| 0.6
(2.13) 0.6
(2.12) 0.6
(2.11)
| | Central | | Jan 24, 2020 |
0.9.10 | 2.13 2.12 2.11
| 0.6
(2.13) 0.6
(2.12) 0.6
(2.11)
| | Central | | Sep 16, 2019 |
0.9.9 | 2.13 2.12 2.11
| 0.6
(2.13) 0.6
(2.12) 0.6
(2.11)
| | Central | | Jul 27, 2019 |
0.9.8 | 2.12 2.11
| 0.6
(2.12) 0.6
(2.11)
| | Central | | Jun 10, 2019 |
0.9.7 | 2.12 2.11
| 0.6
(2.12) 0.6
(2.11)
| | Central | | Jun 01, 2019 |
0.9.6 | 2.12 2.11
| 0.6
(2.12) 0.6
(2.11)
| | Central | | May 25, 2019 |
0.9.5 | 2.12 2.11
| 0.6
(2.12) 0.6
(2.11)
| | Central | | Apr 16, 2019 |
0.9.4 | 2.12 2.11
| 0.6
(2.12) 0.6
(2.11)
| | Central | | Jan 18, 2019 |
0.9.3 | 2.12 2.11
| 0.6
(2.12) 0.6
(2.11)
| | Central | | Nov 01, 2018 |
0.9.2 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Jul 04, 2018 |
0.9.1 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Jun 27, 2018 |
0.9.0+82-8b2bcc61 | 2.13.0-M3
| | | Central | | Jun 19, 2018 |
0.9.0 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Apr 23, 2018 |