2 commits

Author	SHA1	Message	Date
Vincent Laporte	61d8986385	coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16 ... They depend on elpi (not yet available in nixpkgs)	2022-06-13 11:29:20 +02:00
Ben Siraphob	8566253746	coqPackages.trakt: init at 1.0	2022-04-13 19:38:00 -05:00