nixpkgs/pkgs
Lassulus 8b4d70ca94
Merge pull request #100466 from ryanorendorff/agda-functional-linear-algebra
agda-packages: add functional-linear-algebra library at v0.1
2020-10-15 20:21:56 +02:00
..
applications Merge pull request #75843 from jbedo/lumpy 2020-10-15 19:46:13 +03:00
build-support Merge pull request #91790 from piegamesde/improve-makedesktopitem 2020-10-15 02:42:12 +02:00
common-updater
data marwaita-ubuntu: init at 1.5 2020-10-14 10:47:51 -03:00
desktops Merge pull request #100116 from worldofpeace/pantheon-stuff 2020-10-12 18:48:43 -04:00
development Merge pull request #100466 from ryanorendorff/agda-functional-linear-algebra 2020-10-15 20:21:56 +02:00
games trigger: 0.6.6 -> 0.6.6.1 2020-10-14 00:42:35 +02:00
misc vscode-extensions.WakaTime.vscode-wakatime: 4.0.8 -> 4.0.9 2020-10-13 22:25:55 -04:00
os-specific linux_latest-libre: 17718 -> 17724 2020-10-15 12:49:47 -04:00
pkgs-lib
servers osrm-backend: 5.22.0 -> 5.23.0 2020-10-15 00:57:12 +02:00
shells oh-my-zsh: 2020-10-13 -> 2020-10-14 2020-10-14 18:39:23 -04:00
stdenv Merge staging-next into staging 2020-10-06 10:25:58 +02:00
test tests.texlive: init 2020-10-06 19:24:41 -04:00
tools Merge pull request #100543 from r-ryantm/auto-update/python-swiftclient 2020-10-15 09:44:30 -07:00
top-level Merge pull request #100466 from ryanorendorff/agda-functional-linear-algebra 2020-10-15 20:21:56 +02:00