Simple refinement types for Scala
| Version | Scala | Scala.js | Vulnerabilities | Repository | Usages | Date |
---|
0.11.x | 0.11.2 | 2.13 2.12
| 1
(2.13) 1
(2.12)
| | Central | | Jun 01, 2024 |
0.11.1 | 2.13 2.12
| 1
(2.13) 1
(2.12)
| | Central | | Jan 26, 2024 |
0.11.0 | 2.13 2.12
| 1
(2.13) 1
(2.12)
| | Central | | Jun 16, 2023 |
0.10.x | 0.10.3 | 2.13 2.12
| 1
(2.13) 1
(2.12)
| | Central | | Mar 21, 2023 |
0.10.2 | 2.13 2.12
| 1
(2.13) 1
(2.12)
| | Central | | Mar 03, 2023 |
0.10.1 | 2.13 2.12
| 1
(2.13) 1
(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)
| | 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 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Apr 22, 2018 |
0.8.x | 0.8.7 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Jan 28, 2018 |
0.8.6 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Dec 27, 2017 |
0.8.5 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Dec 19, 2017 |
0.8.4 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Oct 04, 2017 |
0.8.3 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Sep 06, 2017 |
0.8.2 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Jun 02, 2017 |
0.8.1 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | May 08, 2017 |
0.8.0 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Mar 17, 2017 |
0.7.x | 0.7.0 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Jan 24, 2017 |
0.6.x | 0.6.2 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Jan 12, 2017 |
0.6.1 | 2.12 2.11 2.10
| 0.6
(2.12) 0.6
(2.11) 0.6
(2.10)
| | Central | | Dec 24, 2016 |
0.6.0 | 2.12 2.12.0-RC2 2.11 2.10
| 0.6
(2.12) 0.6
(2.12.0-RC2) 0.6
(2.11) 0.6
(2.10)
| | Central | | Nov 02, 2016 |
0.5.x | 0.5.0 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Jun 17, 2016 |
0.4.x | 0.4.0 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Apr 10, 2016 |
0.3.x | 0.3.7 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Mar 12, 2016 |
0.3.6 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Feb 25, 2016 |
0.3.5 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Feb 13, 2016 |
0.3.4 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Feb 03, 2016 |
0.3.3 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Dec 18, 2015 |
0.3.2 | 2.11 2.10
| 0.6
(2.11) 0.6
(2.10)
| | Central | | Nov 19, 2015 |