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