git.pld-linux.org Git - packages/mosml.git/tree

]> git.pld-linux.org Git - packages/mosml.git/tree

projects / packages / mosml.git / tree

summary | shortlog | log | commit | commitdiff | tree
snapshot

-rw-r--r--	464	mosml-dynamic-gd.patch	blob \| blame \| history \| raw
-rw-r--r--	367	mosml-dynamic-gdbm.patch	blob \| blame \| history \| raw
-rw-r--r--	8003	mosml-makefile.patch	blob \| blame \| history \| raw
-rw-r--r--	3575	mosml-mmysql.patch	blob \| blame \| history \| raw
-rw-r--r--	401	mosml-msocket.patch	blob \| blame \| history \| raw
-rw-r--r--	472	mosml-no-static-pq.patch	blob \| blame \| history \| raw
-rw-r--r--	5430	mosml.spec	blob \| blame \| history \| raw

Moscow ML - Standard ML implementation

This page took 0.109276 seconds and 4 git commands to generate.