summary refs log tree commit diff
path: root/pkgs/development/idris-modules
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2018-10-18 17:08:33 +0200
committerPeter Simons <simons@cryp.to>2018-10-19 14:44:22 +0200
commitd210479e65f6773484e755f064708e9ba572039a (patch)
treeed11a181c2f7602d2dcc2483b2c2d48c74233718 /pkgs/development/idris-modules
parentba64a13d69b5a43cdfe81385ef9dc794543f1d1e (diff)
downloadnixlib-d210479e65f6773484e755f064708e9ba572039a.tar
nixlib-d210479e65f6773484e755f064708e9ba572039a.tar.gz
nixlib-d210479e65f6773484e755f064708e9ba572039a.tar.bz2
nixlib-d210479e65f6773484e755f064708e9ba572039a.tar.lz
nixlib-d210479e65f6773484e755f064708e9ba572039a.tar.xz
nixlib-d210479e65f6773484e755f064708e9ba572039a.tar.zst
nixlib-d210479e65f6773484e755f064708e9ba572039a.zip
haskell-texmath: drop obsolete override
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions