repos - Revision 19302: /public/mathdoxplayer-2023.1/libraries/science

• ..
• dependencies/
• openmath-1.6-SNAPSHOT-jar-with-dependencies.jar
• scscp-1.6-SNAPSHOT.jar