about summary refs log tree commit diff
path: root/pkgs/development/compilers/manticore
AgeCommit message (Expand)AuthorFilesLines
2021-01-20treewide: editorconfig fixeszowoq1-7/+7
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-04manticore: 2019.09.20 -> 2019.12.03Kirill Boltaev1-3/+3
2019-09-24manticore: 2018.09.29 -> 2019.09.20Nathan van Doorn1-3/+3
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-12-01manticore: 2017-08-22 -> 2018-09-29Ashijit Pramanik1-3/+3
2018-03-13manticore: 2014.08.18 -> 2017.08.22, fix buildxeji1-6/+6
2017-03-25manticore: fix compiling pml sourcesWilli Butz1-1/+13
2017-03-25manticore: fix build, remove builder.sh (see #23253)Willi Butz2-31/+22
2016-10-04Replace hard coded /bin/bash occurrencesMarkus Hauck1-1/+1
2016-06-20Captialize meta.description of all packagesBjørn Forsman1-1/+1
2014-08-19manticore: Remove name from descriptionRyan Newton1-1/+1
2014-08-19Add parallel functional compiler, ManticoreRyan Newton2-0/+52