summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2020-05-29Update .SRCINFOcrave
2020-05-29Use dune command since jbuilder seems to have been removedcrave
2019-10-20ocaml-stdint-git 20180606-2Mort Yao
2018-10-13ocaml-stdint-git 20180606-1Mort Yao
2018-04-16ocaml-stdint-git 20180226-1Mort Yao
2017-10-24ocaml-stdint-git 20171013-2Mort Yao
2017-10-23ocaml-stdint-git 20171013-1Mort Yao