summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cedille
Commit message (Expand)AuthorAge
* treewide: {build,host,target}Platform -> stdenv.{build,host,target}PlatformArtturin2023-01-09
* cedille: set no hydra platforms(cdep)illabout2021-07-17
* cedille: mark broken(cdep)illabout2021-07-17
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* cedille: 1.1.1 -> 1.1.2; fix buildAlyssa Ross2020-12-10
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* cedille: fix hashMario Rodas2019-05-05
* cedille: 1.0.0 -> 1.1.1 (#60307)Mario Rodas2019-04-29
* cedille: Make a seperate output for the base libraryMatthew Pickering2018-10-22
* cedille: Apply patch which unbreaks the options fileMatthew Pickering2018-10-22
* cedille: init at 1.0.0Matthew Pickering2018-10-14