ligo/vendors/UnionFind/dune

(library
  (name UnionFind)
  (public_name UnionFind)
  (wrapped false)
  (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind)
  (modules_without_implementation Partition))
update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) 2020-01-06 18:26:24 +01:00			`(library`
			`(name UnionFind)`
union-find: rename partition to UnionFind for more consistency across the various names that opam and dune assign to this library 2020-01-06 19:02:26 +01:00			`(public_name UnionFind)`
update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) 2020-01-06 18:26:24 +01:00			`(wrapped false)`
update union-find library (part 2: adjust module names) 2020-01-06 19:00:05 +01:00			`(modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind)`
update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) 2020-01-06 18:26:24 +01:00			`(modules_without_implementation Partition))`