Merge pull request #7671 from Oleksandr-Zhabenko/master

add dobutokO2 and its dependencies
This commit is contained in:
Andreas Ländle 2025-02-04 18:25:23 +01:00 committed by GitHub
commit 0ae3079022
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -5161,11 +5161,16 @@ packages:
"Oleksandr Zhabenko <oleksandr.zhabenko2@gmail.com> @Oleksandr-Zhabenko":
- aftovolio
- dobutokO2
- cli-arguments
- end-of-exe
- intermediate-structures
- lists-flines
- minmax
- mmsyn2-array
- mmsyn7l
- mmsyn7ukr-array
- mmsyn7ukr-common
- monoid-insertleft
- quantizer
- rev-scientific