about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/elan
AgeCommit message (Expand)AuthorFilesLines
2020-05-19elan: 0.10.0 -> 0.10.2R. RyanTM1-3/+3
2020-05-08elan: 0.9.0 -> 0.10.0Gabriel Ebner1-3/+3
2020-05-07elan: 0.8.0 -> 0.9.0Gabriel Ebner1-4/+4
2020-03-06elan: v0.8.0 tag was force-pushed by upstreamGabriel Ebner1-2/+2
2020-03-06elan: 0.7.5 -> 0.8.0Gabriel Ebner1-3/+3
2020-02-19elan: upgrade cargo fetcher and cargoSha256Benjamin Hipple1-7/+4
2020-02-13treewide: change fetchCargoTarball default to opt-outBenjamin Hipple1-0/+3
2019-12-20treewide: fix cargoSha256 (again)Alyssa Ross1-1/+1
2019-08-31treewide: name -> pname (#67513)volth1-1/+1
2019-06-01treewide: update cargoSha256 hashes for cargo-vendor upgradeAlyssa Ross1-1/+1
2019-03-22elan: 0.7.4 -> 0.7.5Gabriel Ebner1-2/+2
2019-03-20elan: 0.7.2 -> 0.7.4Gabriel Ebner1-2/+2
2019-01-15elan: 0.7.1 -> 0.7.2Gabriel Ebner1-2/+2
2018-10-04elan: 0.5.0 -> 0.7.1Gabriel Ebner1-3/+3
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2018-05-14elan: 0.3.2 -> 0.5.0Gabriel Ebner1-2/+2
2018-04-13elan: 0.3.0 -> 0.3.2Gabriel Ebner1-2/+2
2018-04-11elan: add leanchecker proxyGabriel Ebner1-1/+1
2018-04-11elan: 0.1.0 -> 0.3.0Gabriel Ebner1-3/+3
2018-04-10elan: init at 0.1.0Gabriel Ebner1-0/+44