Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

merge upstream #8

Open
wants to merge 1,483 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1483 commits
Select commit Hold shift + click to select a range
8d7573b
Update to the 3.1.1 package set.
pacchettibotti Nov 8, 2022
7a0dab8
Update to the 4.1.0 package set.
pacchettibotti Nov 10, 2022
c0f5018
Update to the 4.2.0 package set.
pacchettibotti Nov 11, 2022
a14d782
Update to the 5.0.0 package set.
pacchettibotti Nov 13, 2022
b95a96d
Update to the 5.0.1 package set.
pacchettibotti Nov 14, 2022
54d8a6f
Update to the 5.1.0 package set.
pacchettibotti Nov 15, 2022
a41e745
Update to the 5.2.0 package set.
pacchettibotti Nov 16, 2022
c84cea6
Update to the 5.3.0 package set.
pacchettibotti Nov 17, 2022
fb34286
Update to the 5.4.0 package set.
pacchettibotti Nov 18, 2022
1ca2208
Update to the 5.5.0 package set.
pacchettibotti Nov 19, 2022
01e818a
Update to the 5.5.2 package set.
pacchettibotti Nov 20, 2022
7d5d3e2
Update to the 6.0.0 package set.
pacchettibotti Nov 22, 2022
f74ac9c
Update to the 6.1.0 package set.
pacchettibotti Nov 24, 2022
db96184
Update to the 7.0.0 package set.
pacchettibotti Nov 27, 2022
bb22918
Update to the 7.1.0 package set.
pacchettibotti Nov 28, 2022
da889c3
Update to the 7.1.1 package set.
pacchettibotti Nov 29, 2022
d6021ba
Update to the 7.1.2 package set.
pacchettibotti Nov 30, 2022
f07bf3b
Update to the 7.2.0 package set.
pacchettibotti Dec 1, 2022
e703785
Update to the 7.3.0 package set.
pacchettibotti Dec 2, 2022
6e2f79f
Update to the 7.4.0 package set.
pacchettibotti Dec 3, 2022
3a889b3
Update to the 8.0.0 package set.
pacchettibotti Dec 5, 2022
2fa6d26
Update to the 8.0.1 package set.
pacchettibotti Dec 6, 2022
ac356cc
Update to the 8.0.2 package set.
pacchettibotti Dec 7, 2022
7c13849
Update to the 8.0.3 package set.
pacchettibotti Dec 8, 2022
dc09744
Update to the 8.1.0 package set.
pacchettibotti Dec 9, 2022
e59b05b
Update to the 8.2.0 package set.
pacchettibotti Dec 10, 2022
9179e7a
Update to the 8.3.0 package set.
pacchettibotti Dec 11, 2022
9d834cc
Update to the 8.4.0 package set.
pacchettibotti Dec 12, 2022
6d3a35e
Update to the 8.5.0 package set.
pacchettibotti Dec 13, 2022
93deed8
Update to the 8.6.0 package set.
pacchettibotti Dec 14, 2022
8af9d2c
Update to the 8.7.0 package set.
pacchettibotti Dec 26, 2022
6425988
Update to the 8.8.0 package set.
pacchettibotti Dec 29, 2022
2ecfd5b
Update to the 9.0.0 package set.
pacchettibotti Jan 5, 2023
090897c
Update to the 10.0.0 package set.
pacchettibotti Jan 5, 2023
a69897c
Update to the 10.1.0 package set.
pacchettibotti Jan 10, 2023
5ff52d3
Update to the 10.2.0 package set.
pacchettibotti Jan 12, 2023
b9b4e37
Update to the 11.0.0 package set.
pacchettibotti Jan 15, 2023
c4d9a69
Update to the 11.1.0 package set.
pacchettibotti Jan 18, 2023
60763f1
Update to the 11.2.0 package set.
pacchettibotti Jan 24, 2023
03e5f97
Update to the 11.3.0 package set.
pacchettibotti Jan 26, 2023
ff88f33
Update to the 11.6.0 package set.
pacchettibotti Jan 27, 2023
2b95ccd
Update to the 11.7.0 package set.
pacchettibotti Jan 30, 2023
ba901e4
Update to the 11.8.0 package set.
pacchettibotti Feb 3, 2023
1560fff
Update to the 11.9.0 package set.
pacchettibotti Feb 4, 2023
d95a8f9
Update to the 11.10.0 package set.
pacchettibotti Feb 7, 2023
621514f
Update to the 12.0.0 package set.
pacchettibotti Feb 9, 2023
bb0c2a3
Update to the 12.1.0 package set.
pacchettibotti Feb 11, 2023
6f6ea45
Update to the 12.2.0 package set.
pacchettibotti Feb 13, 2023
1525421
Update to the 13.0.0 package set.
pacchettibotti Feb 14, 2023
e7289a4
Update to the 13.1.0 package set.
pacchettibotti Feb 15, 2023
6274eac
Update to the 13.1.1 package set.
pacchettibotti Feb 16, 2023
f89c469
Update to the 13.2.0 package set.
pacchettibotti Feb 17, 2023
27510f9
Update to the 13.2.1 package set.
pacchettibotti Feb 19, 2023
359bd3b
Update to the 13.3.0 package set.
pacchettibotti Feb 21, 2023
1b72f92
Update to the 14.0.0 package set.
pacchettibotti Feb 22, 2023
7502f8e
Update to the 14.1.0 package set.
pacchettibotti Feb 24, 2023
9312839
Update to the 14.2.0 package set.
pacchettibotti Feb 26, 2023
fc4b25e
Update to the 15.1.0 package set.
pacchettibotti Feb 27, 2023
da8e336
Update to the 16.0.0 package set.
pacchettibotti Feb 28, 2023
fe95990
Update to the 16.0.1 package set.
pacchettibotti Mar 1, 2023
6af007e
Update to the 16.0.2 package set.
pacchettibotti Mar 2, 2023
77b722f
Update to the 16.1.0 package set.
pacchettibotti Mar 3, 2023
efeb21e
Update to the 17.0.0 package set.
pacchettibotti Mar 5, 2023
f2a029b
Update to the 18.1.0 package set.
pacchettibotti Mar 6, 2023
3ef7f84
Update to the 18.2.0 package set.
pacchettibotti Mar 10, 2023
190d889
Update to the 18.3.0 package set.
pacchettibotti Mar 16, 2023
2717c60
Update to the 18.4.0 package set.
pacchettibotti Mar 19, 2023
008ef66
Update to the 18.5.0 package set.
pacchettibotti Mar 20, 2023
bd11ab2
Update to the 18.5.1 package set.
pacchettibotti Mar 22, 2023
0373872
Update to the 18.5.2 package set.
pacchettibotti Mar 23, 2023
e4098ac
Update to the 18.6.0 package set.
pacchettibotti Mar 24, 2023
1eb8e65
Update to the 18.7.0 package set.
pacchettibotti Mar 25, 2023
fecdd62
Update to the 19.1.0 package set.
pacchettibotti Mar 26, 2023
e7e9c61
Update to the 19.1.1 package set.
pacchettibotti Mar 30, 2023
ee9b00e
Update to the 19.1.2 package set.
pacchettibotti Mar 31, 2023
2678a9a
Update to the 20.0.0 package set.
pacchettibotti Apr 1, 2023
1015b8d
Update to the 20.0.1 package set.
pacchettibotti Apr 2, 2023
3243a83
Update to the 20.0.2 package set.
pacchettibotti Apr 6, 2023
80f9a45
Update to the 20.0.3 package set.
pacchettibotti Apr 8, 2023
c236c5d
Update to the 20.1.0 package set.
pacchettibotti Apr 19, 2023
cfc91ba
Update to the 21.0.0 package set.
pacchettibotti Apr 20, 2023
c7a4ab1
Update to the 21.1.0 package set.
pacchettibotti Apr 22, 2023
0ed3485
Update to the 21.2.0 package set.
pacchettibotti Apr 24, 2023
d4008fd
Update to the 21.3.0 package set.
pacchettibotti Apr 25, 2023
02e7c00
Update to the 21.4.0 package set.
pacchettibotti Apr 30, 2023
63eff25
Update to the 21.6.0 package set.
pacchettibotti May 3, 2023
955e2bf
Update to the 21.7.0 package set.
pacchettibotti May 6, 2023
753ab5b
Update to the 21.7.1 package set.
pacchettibotti May 7, 2023
817a9ad
Update to the 21.7.2 package set.
pacchettibotti May 8, 2023
6b5e73e
Update to the 21.8.0 package set.
pacchettibotti May 10, 2023
3a856ca
Update to the 22.0.0 package set.
pacchettibotti May 11, 2023
48cc858
Update to the 22.1.0 package set.
pacchettibotti May 15, 2023
09eeeed
Update to the 22.2.0 package set.
pacchettibotti May 17, 2023
c1f3849
Update to the 23.0.0 package set.
pacchettibotti May 26, 2023
dd67289
Update to the 23.0.1 package set.
pacchettibotti May 28, 2023
2950716
Update to the 24.0.0 package set.
pacchettibotti May 30, 2023
ec6db97
Update to the 24.1.0 package set.
pacchettibotti May 31, 2023
d87a093
Update to the 24.2.0 package set.
pacchettibotti Jun 1, 2023
a9633e6
Update to the 24.3.0 package set.
pacchettibotti Jun 2, 2023
f000703
Update to the 24.4.0 package set.
pacchettibotti Jun 4, 2023
6119679
Update to the 24.4.1 package set.
pacchettibotti Jun 5, 2023
0069efa
Update to the 24.5.0 package set.
pacchettibotti Jun 6, 2023
7e40868
Update to the 24.6.0 package set.
pacchettibotti Jun 7, 2023
e740d24
Update to the 24.7.0 package set.
pacchettibotti Jun 8, 2023
6959a16
Update to the 25.0.0 package set.
pacchettibotti Jun 9, 2023
ed59df7
Update to the 25.1.0 package set.
pacchettibotti Jun 10, 2023
eb0ef38
Update to the 25.2.0 package set.
pacchettibotti Jun 11, 2023
ce7a5a0
Update to the 25.2.1 package set.
pacchettibotti Jun 13, 2023
07cf723
Update to the 25.2.2 package set.
pacchettibotti Jun 14, 2023
c30b827
Update to the 26.0.0 package set.
pacchettibotti Jun 15, 2023
bff5b1f
Update to the 27.0.0 package set.
pacchettibotti Jun 15, 2023
a43d534
Update to the 27.1.0 package set.
pacchettibotti Jun 16, 2023
f3bb664
Update to the 27.2.0 package set.
pacchettibotti Jun 17, 2023
4995f7a
Update to the 27.3.0 package set.
pacchettibotti Jun 19, 2023
4d37ff9
Update to the 28.0.0 package set.
pacchettibotti Jun 26, 2023
995642c
Update to the 28.1.0 package set.
pacchettibotti Jun 28, 2023
0190ab1
Update to the 28.1.1 package set.
pacchettibotti Jun 29, 2023
a14e903
Update to the 29.0.0 package set.
pacchettibotti Jul 15, 2023
2eaca12
Update to the 29.1.0 package set.
pacchettibotti Jul 18, 2023
9a8428d
Update to the 29.2.0 package set.
pacchettibotti Jul 19, 2023
b395149
Update to the 30.0.0 package set.
pacchettibotti Jul 20, 2023
c9625cf
Update to the 31.0.0 package set.
pacchettibotti Jul 21, 2023
0a4a0dc
Update to the 31.1.0 package set.
pacchettibotti Jul 30, 2023
403ee78
Update to the 31.2.0 package set.
pacchettibotti Jul 31, 2023
01a9d19
Update to the 31.5.0 package set.
pacchettibotti Aug 1, 2023
e2f545f
Update to the 32.0.0 package set.
pacchettibotti Aug 2, 2023
eb87dc4
Update to the 32.1.0 package set.
pacchettibotti Aug 3, 2023
d36091f
Update to the 32.2.0 package set.
pacchettibotti Aug 3, 2023
5219fac
Update to the 33.0.0 package set.
pacchettibotti Aug 4, 2023
b8259fc
Update to the 34.0.0 package set.
pacchettibotti Aug 5, 2023
bdf1515
Update to the 34.1.0 package set.
pacchettibotti Aug 6, 2023
083c40b
Update to the 34.2.0 package set.
pacchettibotti Aug 7, 2023
d59920c
Update to the 34.3.0 package set.
pacchettibotti Aug 8, 2023
4633acc
Update to the 35.0.0 package set.
pacchettibotti Aug 10, 2023
f46ff76
Update to the 35.1.0 package set.
pacchettibotti Aug 11, 2023
02ff769
Update to the 35.2.0 package set.
pacchettibotti Aug 12, 2023
c8f5d7c
Update to the 36.0.0 package set.
pacchettibotti Aug 13, 2023
5dff4c2
Update to the 36.1.0 package set.
pacchettibotti Aug 14, 2023
cce49a6
Update to the 36.2.0 package set.
pacchettibotti Aug 18, 2023
b1b6834
Update to the 36.2.1 package set.
pacchettibotti Aug 20, 2023
e8f7f1f
Update to the 37.0.0 package set.
pacchettibotti Aug 24, 2023
ae1d7ad
Update to the 38.0.0 package set.
pacchettibotti Aug 26, 2023
45cf05b
Update to the 39.0.1 package set.
pacchettibotti Aug 28, 2023
bf66618
Update to the 40.0.0 package set.
pacchettibotti Aug 30, 2023
3d0cfc7
Update to the 40.0.1 package set.
pacchettibotti Aug 31, 2023
277ce0c
Update to the 40.0.2 package set.
pacchettibotti Sep 1, 2023
38a0b4b
Update to the 40.1.0 package set.
pacchettibotti Sep 2, 2023
a453007
Update to the 40.2.0 package set.
pacchettibotti Sep 3, 2023
206a5e8
Update to the 40.3.0 package set.
pacchettibotti Sep 5, 2023
6069d39
Update to the 40.4.0 package set.
pacchettibotti Sep 6, 2023
8ec65b8
Update to the 40.5.0 package set.
pacchettibotti Sep 7, 2023
1527d48
Update to the 40.6.0 package set.
pacchettibotti Sep 9, 2023
5edeb4a
Update to the 40.7.0 package set.
pacchettibotti Sep 10, 2023
6db5cdf
Update to the 40.8.0 package set.
pacchettibotti Sep 11, 2023
2891e20
Update to the 41.0.0 package set.
pacchettibotti Sep 12, 2023
71d5835
Update to the 41.1.0 package set.
pacchettibotti Sep 14, 2023
3be3cdb
Update to the 41.2.0 package set.
pacchettibotti Sep 15, 2023
8610b11
Update to the 41.3.0 package set.
pacchettibotti Sep 17, 2023
6b73766
Update to the 41.3.1 package set.
pacchettibotti Sep 18, 2023
c1b68ac
Update to the 41.4.0 package set.
pacchettibotti Sep 19, 2023
829c6f7
Update to the 41.5.0 package set.
pacchettibotti Sep 21, 2023
761f679
Update to the 41.5.1 package set.
pacchettibotti Sep 23, 2023
ad0ed30
Update to the 42.0.0 package set.
pacchettibotti Sep 25, 2023
0a2752b
Update to the 42.1.0 package set.
pacchettibotti Sep 26, 2023
eed6d58
Update to the 42.2.0 package set.
pacchettibotti Sep 30, 2023
9ef85a6
Update to the 42.2.1 package set.
pacchettibotti Oct 3, 2023
1f1d570
Update to the 42.3.0 package set.
pacchettibotti Oct 7, 2023
a54b07d
Update to the 42.4.0 package set.
pacchettibotti Oct 8, 2023
ab24b54
Update to the 42.5.0 package set.
pacchettibotti Oct 9, 2023
d4a4b12
Update to the 43.0.0 package set.
pacchettibotti Oct 10, 2023
09c53b5
Update to the 43.1.0 package set.
pacchettibotti Oct 14, 2023
e59a4c8
Update to the 43.2.0 package set.
pacchettibotti Oct 20, 2023
7ce5fa7
Update to the 43.3.0 package set.
pacchettibotti Oct 23, 2023
539fd5e
Update to the 43.4.0 package set.
pacchettibotti Oct 23, 2023
c3f7933
Update to the 43.5.0 package set.
pacchettibotti Oct 24, 2023
211cc37
Update to the 43.5.1 package set.
pacchettibotti Nov 2, 2023
57bc9f3
Update to the 44.0.0 package set.
pacchettibotti Nov 3, 2023
5df9903
Update to the 44.1.0 package set.
pacchettibotti Nov 4, 2023
8f420ca
Update to the 44.2.0 package set.
pacchettibotti Nov 5, 2023
eca181b
Update to the 44.2.1 package set.
pacchettibotti Nov 9, 2023
90ea8e2
Update to the 44.3.0 package set.
pacchettibotti Nov 12, 2023
6876b48
Update to the 45.0.0 package set.
pacchettibotti Nov 15, 2023
3702a96
Update to the 45.1.0 package set.
pacchettibotti Nov 16, 2023
c8e626b
Update to the 45.1.1 package set.
pacchettibotti Nov 16, 2023
0d25388
Update to the 46.0.1 package set.
pacchettibotti Nov 19, 2023
f6ccaf3
Update to the 46.0.2 package set.
pacchettibotti Nov 20, 2023
1dddb5b
Update to the 46.1.0 package set.
pacchettibotti Nov 21, 2023
03937a4
Update to the 46.1.1 package set.
pacchettibotti Nov 22, 2023
b0cad6d
Update to the 46.2.0 package set.
pacchettibotti Nov 23, 2023
b48dd5f
Update to the 46.3.0 package set.
pacchettibotti Nov 25, 2023
7e60ea0
Update to the 46.5.0 package set.
pacchettibotti Nov 27, 2023
5cf05fc
Update to the 47.0.0 package set.
pacchettibotti Dec 1, 2023
c7dd099
Update to the 47.1.0 package set.
pacchettibotti Dec 5, 2023
9536406
Update to the 47.2.0 package set.
pacchettibotti Dec 6, 2023
78c37f7
Update to the 47.3.0 package set.
pacchettibotti Dec 8, 2023
2935cbb
Update to the 47.4.0 package set.
pacchettibotti Dec 9, 2023
8627002
Update to the 47.5.0 package set.
pacchettibotti Dec 10, 2023
156e93b
Update to the 47.5.1 package set.
pacchettibotti Dec 11, 2023
59bd9aa
Update to the 47.5.2 package set.
pacchettibotti Dec 14, 2023
ccefebf
Update to the 47.6.0 package set.
pacchettibotti Dec 15, 2023
df0118e
Update to the 47.7.0 package set.
pacchettibotti Dec 17, 2023
2ffa979
Update to the 47.7.1 package set.
pacchettibotti Dec 19, 2023
fa3d953
Update to the 47.8.0 package set.
pacchettibotti Dec 23, 2023
5c16967
Update to the 47.9.0 package set.
pacchettibotti Dec 25, 2023
d797dea
Update to the 47.9.1 package set.
pacchettibotti Dec 26, 2023
9a9f7f1
Update to the 47.9.2 package set.
pacchettibotti Dec 27, 2023
a031bcb
Update to the 47.10.0 package set.
pacchettibotti Dec 28, 2023
81094a9
Update to the 47.11.0 package set.
pacchettibotti Jan 4, 2024
6a71135
Update to the 47.12.0 package set.
pacchettibotti Jan 5, 2024
17705a0
Update to the 47.13.0 package set.
pacchettibotti Jan 12, 2024
c888ecc
Update to the 48.0.0 package set.
pacchettibotti Jan 13, 2024
bd0dbc3
Update to the 48.1.0 package set.
pacchettibotti Jan 14, 2024
b000d92
Update to the 48.2.0 package set.
pacchettibotti Jan 16, 2024
536fd4a
Update to the 48.3.0 package set.
pacchettibotti Jan 17, 2024
9c88705
Update to the 48.4.0 package set.
pacchettibotti Jan 18, 2024
533e502
Update to the 48.5.0 package set.
pacchettibotti Jan 23, 2024
24dd4cb
Update to the 48.6.0 package set.
pacchettibotti Jan 25, 2024
5b0be75
Update to the 48.7.0 package set.
pacchettibotti Jan 26, 2024
66d0296
Update to the 48.7.1 package set.
pacchettibotti Jan 27, 2024
20835ff
Update to the 49.0.0 package set.
pacchettibotti Jan 28, 2024
be47685
Update to the 49.0.1 package set.
pacchettibotti Feb 1, 2024
fc6cc65
Update to the 49.1.0 package set.
pacchettibotti Feb 4, 2024
5a6862a
Update to the 49.2.0 package set.
pacchettibotti Feb 9, 2024
2baad64
Update to the 50.0.0 package set.
pacchettibotti Feb 11, 2024
f130183
Update to the 50.1.0 package set.
pacchettibotti Feb 13, 2024
670a3c6
Update to the 50.1.1 package set.
pacchettibotti Feb 23, 2024
3900987
Update to the 50.1.2 package set.
pacchettibotti Feb 27, 2024
f1b03b2
Update to the 50.2.0 package set.
pacchettibotti Feb 27, 2024
1ff9d2c
Update to the 50.3.0 package set.
pacchettibotti Feb 28, 2024
c480461
Update to the 50.3.1 package set.
pacchettibotti Mar 3, 2024
a0aeef9
Update to the 50.3.2 package set.
pacchettibotti Mar 7, 2024
ba23138
Update to the 50.4.0 package set.
pacchettibotti Mar 9, 2024
9986e64
Update to the 50.5.0 package set.
pacchettibotti Mar 20, 2024
fd9b0a4
Update to the 50.6.0 package set.
pacchettibotti Apr 3, 2024
3c2dc70
Update to the 50.6.1 package set.
pacchettibotti Apr 4, 2024
cc418a6
Update to the 50.7.0 package set.
pacchettibotti Apr 6, 2024
958f680
Update to the 50.8.0 package set.
pacchettibotti Apr 12, 2024
723fd08
Update to the 50.9.0 package set.
pacchettibotti Apr 15, 2024
446a375
Update to the 50.10.0 package set.
pacchettibotti Apr 16, 2024
76035a8
Update to the 50.11.0 package set.
pacchettibotti Apr 19, 2024
2ab9e34
Update to the 50.12.0 package set.
pacchettibotti Apr 30, 2024
ee443a3
Update to the 50.13.0 package set.
pacchettibotti May 1, 2024
8f92238
Update to the 50.13.1 package set.
pacchettibotti May 2, 2024
5b729b8
Update to the 50.14.0 package set.
pacchettibotti May 10, 2024
173e0c8
Update to the 50.15.0 package set.
pacchettibotti May 11, 2024
c8c5f09
Update to the 50.16.0 package set.
pacchettibotti May 12, 2024
6a97606
Update to the 50.17.0 package set.
pacchettibotti May 14, 2024
73f75cc
Update to the 50.18.0 package set.
pacchettibotti May 15, 2024
552ea21
Update to the 50.19.0 package set.
pacchettibotti May 17, 2024
60430ba
Update to the 51.0.0 package set.
pacchettibotti May 23, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
37 changes: 37 additions & 0 deletions .github/workflows/release.yml
@@ -0,0 +1,37 @@
name: Create GitHub Release

on:
push:
tags:
- "psc-*"

jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2

- name: Copy packages.dhall to the root
run: cp ./src/packages.dhall packages.dhall

- name: Create Release
id: create_release
uses: actions/create-release@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
tag_name: ${{ github.ref }}
release_name: ${{ github.ref }}
draft: false
prerelease: false

- name: Upload Release Asset
id: upload-release-asset
uses: actions/upload-release-asset@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
upload_url: ${{ steps.create_release.outputs.upload_url }}
asset_path: ./packages.dhall
asset_name: packages.dhall
asset_content_type: application/x-dhall
3 changes: 0 additions & 3 deletions .gitignore

This file was deleted.

24 changes: 0 additions & 24 deletions .travis.yml

This file was deleted.

39 changes: 19 additions & 20 deletions LICENSE
@@ -1,30 +1,29 @@
Copyright Phil Freeman (c) 2017
BSD 3-Clause License

Copyright (c) 2017 Phil Freeman, 2018-2023 all contributors
All rights reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:

* Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
1. Redistributions of source code must retain the above copyright notice, this
list of conditions and the following disclaimer.

* Redistributions in binary form must reproduce the above
copyright notice, this list of conditions and the following
disclaimer in the documentation and/or other materials provided
with the distribution.
2. Redistributions in binary form must reproduce the above copyright notice,
this list of conditions and the following disclaimer in the documentation
and/or other materials provided with the distribution.

* Neither the name of Author name here nor the names of other
contributors may be used to endorse or promote products derived
from this software without specific prior written permission.
3. Neither the name of the copyright holder nor the names of its
contributors may be used to endorse or promote products derived from
this software without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
50 changes: 45 additions & 5 deletions README.md
@@ -1,9 +1,49 @@
# package-sets
# Package Sets

[![Build Status](https://travis-ci.org/purescript/package-sets.svg?branch=master)](https://travis-ci.org/purescript/package-sets)
A curated list of PureScript packages for the `spago` and `psc-package` package managers.

Hosts and builds PureScript package sets for `psc-package` using Travis.
:warning: This repository predates the [PureScript Registry](https://github.com/purescript/registry) and now exists only as a mirror to support legacy versions of package managers that use the package sets. To register your packages or add them to the package sets, please visit the registry. This repository no longer accepts pull requests or issues.

## Usage
- [What is a package-set?](#what-is-a-package-set)
- [Add your package](#adding-your-package)
- [How do I use package-sets with `spago`?](#how-do-i-use-package-sets-with-spago)
- [How do I use package-sets with `psc-package`?](#how-do-i-use-package-sets-with-psc-package)

To learn how to use and contribute to package sets, please see the documentation in the [psc-package repository](https://github.com/purescript/psc-package#add-a-package-to-the-package-set)
## What is a package set?

A package set is a collection of packages in which there is only one version for each package, and the entire collection of packages compiles successfully together. A package set ensures you can always install a package from the set without introducing a conflict in your dependencies.

If you use a package manager based on package sets, that means that to install a package:

1. The package must be in the package set
2. The package's dependencies and transitive dependencies must also be in the package set

## Adding your package

This repository aims to be a good collection of packages you can depend on. The package sets here are produced by the [PureScript Registry](https://github.com/purescript/registry), and we welcome all packages that can be successfully registered.

If you would like to add your new package to the package sets, please see the registry instructions for registering your package (it will automatically be added to the package sets, unless it fails to compile with the current package set). If your package has been dropped from the package sets and you would like to manually re-add it, please see the registry instructions for submitting a package sets update.

## How do I use `package-sets` with `spago`?

[`spago`][spago] is a package manager and build tool for PureScript which uses Dhall package sets. This makes them easy to extend and override.

With `spago` the package-set address is specified in the `upstream` variable of your local `packages.dhall`, which will usually import a remote `packages.dhall`, e.g. the one from this repo. You can change the package-set version you are using by running `spago upgrade-set`, or if you want to point to a particular version, `spago upgrade-set --tag <tag>`.

## How do I use `package-sets` with psc-package?

[`psc-package`][psc-package] is a package manager for PureScript that works essentially by running a bunch of git commands. It is not maintained by the PureScript core team and we recommend using Spago instead.

With `psc-package` the package-set address is set in the `source` field of a `psc-package.json` file, which should list the URL of a repository with a `packages.json` file in the root (such as this one). Your configuration should look something like this:

```json
{
"name": "project-name",
"set": "set-name",
"source": "https://github.com/purescript/package-sets.git",
"depends": ["aff", "console", "prelude"]
}
```

[spago]: https://github.com/purescript/spago
[psc-package]: https://github.com/purescript/psc-package
35 changes: 35 additions & 0 deletions latest-compatible-sets.json
@@ -0,0 +1,35 @@
{
"0.12.0": "psc-0.12.0-20181024",
"0.12.1": "psc-0.12.1-20190107",
"0.12.2": "psc-0.12.2-20190210",
"0.12.3": "psc-0.12.3-20190409",
"0.12.4": "psc-0.12.4-20190418",
"0.12.5": "psc-0.12.5-20190525",
"0.13.0": "psc-0.13.0-20190713",
"0.13.2": "psc-0.13.2-20190815",
"0.13.3": "psc-0.13.3-20191005",
"0.13.4": "psc-0.13.4-20191125",
"0.13.5": "psc-0.13.5-20200103",
"0.13.6": "psc-0.13.6-20200507",
"0.13.8": "psc-0.13.8-20210226",
"0.14.0": "psc-0.14.0-20210409",
"0.14.1": "psc-0.14.1-20210613",
"0.14.2": "psc-0.14.2-20210713",
"0.14.3": "psc-0.14.3-20210825",
"0.14.4": "psc-0.14.4-20211109",
"0.14.5": "psc-0.14.5-20220224",
"0.14.6": "psc-0.14.6-20220228",
"0.14.7": "psc-0.14.7-20220418",
"0.15.0": "psc-0.15.0-20220527",
"0.15.2": "psc-0.15.2-20220706",
"0.15.3": "psc-0.15.3-20220712",
"0.15.4": "psc-0.15.4-20230105",
"0.15.7": "psc-0.15.7-20230408",
"0.15.8": "psc-0.15.8-20230617",
"0.15.9": "psc-0.15.9-20230718",
"0.15.10": "psc-0.15.10-20231023",
"0.15.12": "psc-0.15.12-20231123",
"0.15.13": "psc-0.15.13-20231228",
"0.15.14": "psc-0.15.14-20240227",
"0.15.15": "psc-0.15.15-20240523"
}