Activity
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into coq-upgrade
Add gcc14 packages at 14.2 with arm64 patches
Add gcc14 packages at 14.2 with arm64 patches
Merge branch 'fink:experimental/thesin' into experimental/thesin
Merge branch 'fink:experimental/thesin' into experimental/thesin
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into line-endings
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
...uh... let's try that again.
...uh... let's try that again.
ran find . -print | xargs dos2unix
ran
find . -print | xargs dos2unix
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into master
Merge branch 'fink:master' into master
Create README.md
Create README.md
Create README.md
Create README.md
Merge branch 'fink:master' into coq-upgrade
Merge branch 'fink:master' into coq-upgrade