about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cedille
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-04-24maintainers: drop marsamMario Rodas1-1/+1
2023-01-09treewide: {build,host,target}Platform -> stdenv.{build,host,target}PlatformArtturin1-2/+1
2021-07-17cedille: set no hydra platforms(cdep)illabout1-0/+1
2021-07-17cedille: mark broken(cdep)illabout1-0/+4
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-1/+1
2020-12-10cedille: 1.1.1 -> 1.1.2; fix buildAlyssa Ross2-2/+37
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-05-05cedille: fix hashMario Rodas1-20/+2
2019-04-29cedille: 1.0.0 -> 1.1.1 (#60307)Mario Rodas1-26/+46
2018-10-22cedille: Make a seperate output for the base libraryMatthew Pickering1-0/+3
2018-10-22cedille: Apply patch which unbreaks the options fileMatthew Pickering1-1/+11
2018-10-14cedille: init at 1.0.0Matthew Pickering1-0/+37