Commit graph

2148 commits

Author SHA1 Message Date
José Romildo Malaquias a8973fa845 shades-of-gray-theme: 1.1.8 -> 1.1.9 2019-09-08 17:28:52 -03:00
José Romildo Malaquias 3518248b49 matcha: 2019-06-22 -> 2019-07 2019-09-08 17:22:41 -03:00
Thomas Tuegel 26b095829f
Merge pull request #68229 from dywedir/source-serif-pro
source-serif-pro: 2.010 -> 3.000
2019-09-08 09:22:11 -05:00
Vladyslav M d4da04c528
source-serif-pro: 2.010 -> 3.000 2019-09-07 01:04:01 +03:00
Jan Tojnar cdf426488b
Merge branch 'master' into staging-next
Fixed trivial conflicts caused by removing rec.
2019-09-06 03:20:09 +02:00
Jan Tojnar ed54a5b51d
Merge branch 'gtk-no-plus' 2019-09-06 02:57:51 +02:00
Jan Tojnar 72e7d569a7
tree-wide: s/GTK+/GTK/g
GTK was renamed.
2019-09-06 02:54:53 +02:00
Will Dietz ef414c2676
Merge pull request #68036 from dtzWill/update/victor-mono-1.2.5
victor-mono: 1.2.1 -> 1.2.5
2019-09-04 21:13:20 -05:00
Vladimír Čunát 4aad2947f8
Merge branch 'master' into staging-next 2019-09-04 11:00:56 +02:00
Will Dietz a8b1948aa7
victor-mono: 1.2.1 -> 1.2.5 2019-09-03 18:15:59 -05:00
Will Dietz a774931282
sudo-font: 0.37 -> 0.40
https://github.com/jenskutilek/sudo-font/releases/tag/v0.38
https://github.com/jenskutilek/sudo-font/releases/tag/v0.39
https://github.com/jenskutilek/sudo-font/releases/tag/v0.40
2019-09-03 18:12:56 -05:00
José Romildo Malaquias fdd331cceb
Merge pull request #67900 from romildo/upd.materia-theme
materia-theme: 20190315 -> 20190831
2019-09-03 11:00:50 -03:00
Marek Mahut 3775e79ce9
Merge pull request #67918 from tadeokondrak/iosevka-2.3.0
iosevka-bin: 2.2.1 -> 2.3.0
2019-09-03 11:08:40 +02:00
Peter Simons 79cfb44011 all-cabal-hashes: update to Hackage at 2019-09-03T05:02:25Z 2019-09-03 09:23:56 +02:00
Vladimír Čunát f21211ebfe
Merge branch 'master' into staging 2019-09-02 23:25:24 +02:00
Tadeo Kondrak 346f49596b
iosevka-bin: 2.2.1 -> 2.3.0 2019-09-01 22:51:10 -06:00
José Romildo Malaquias 0ad44f80ad materia-theme: 20190315 -> 20190831 2019-09-01 17:00:36 -03:00
José Romildo Malaquias 6f9e18a47d qogir-theme: 2019-05-03 -> 2019-08-31 2019-08-31 18:54:22 -03:00
volth 7bb6b373ab treewide: name -> pname (#67513) 2019-08-31 07:41:22 -04:00
Averell Dalton d8be742844 tzdata: 2019a -> 2019b 2019-08-31 12:43:34 +02:00
Frederik Rietdijk ad1d58c622 Merge staging-next into staging 2019-08-31 10:04:20 +02:00
Frederik Rietdijk fc74ba8291 Merge master into staging-next 2019-08-31 09:50:38 +02:00
Jan Tojnar 3665a31a4a
Merge pull request #67663 from jtojnar/fc-joypixels
fontconfig: add support for JoyPixels font
2019-08-30 00:30:13 +02:00
worldofpeace 810b2fb4f3
Merge pull request #67701 from jtojnar/twemoji
twitter-color-emoji: init at 12.1.2
2019-08-29 16:37:00 -04:00
Jan Tojnar 4e4d67b79f
twitter-color-emoji: init at 12.1.2 2019-08-29 21:33:26 +02:00
Jan Tojnar dd7ec2ea97
python2Packages.nototools: 2017-09-25 → 2019-03-20 2019-08-29 17:24:10 +02:00
Jan Tojnar 1a7b8f6817
joypixels: drop fontconfig file
It is now supportedby our fontconfig.
2019-08-29 02:17:49 +02:00
volth 08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Frederik Rietdijk 5061fe0c2c Merge staging-next into staging 2019-08-28 08:26:42 +02:00
Frederik Rietdijk 98640fd482 Merge master into staging-next 2019-08-27 16:36:47 +02:00
volth 35d68ef143 treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00
José Romildo Malaquias 86e1452556 theme-obsidian2: 2.8 -> 2.9 (#67501)
* theme-obsidian2: 2.8 -> 2.9

* theme-obsidian2: move to pkgs/data

* theme-obsidian2: use pname

* theme-obsidian2: run hooks preInstall and postInstall in install phase
2019-08-26 23:11:52 +08:00
Vladimír Čunát 2e6bf42a22
Merge branch 'master' into staging-next
There ver very many conflicts, basically all due to
name -> pname+version.  Fortunately, almost everything was auto-resolved
by kdiff3, and for now I just fixed up a couple evaluation problems,
as verified by the tarball job.  There might be some fallback to these
conflicts, but I believe it should be minimal.

Hydra nixpkgs: ?compare=1538299
2019-08-24 08:55:37 +02:00
worldofpeace eaf95bef86
Merge pull request #63273 from colemickens/nixpkgs-gelasio
gelasio: init at unstable-2018-08-13
2019-08-23 16:12:39 -04:00
Cole Mickens 6039ccef9e gelasio: init at unstable-2018-08-13 2019-08-23 22:01:04 +02:00
xrelkd 54e5878ecd font-awesome: 5.10.1 -> 5.10.2 2019-08-23 15:21:47 +08:00
Jonathan Ringer 2e7613b3a0 osinfo-db: 20190726 -> 20190805 2019-08-20 18:21:18 -07:00
Jan Tojnar 91d627ab0a
Merge pull request #67014 from jtojnar/joypixels
joypixels: init at 5.0.2
2019-08-20 14:52:28 +02:00
worldofpeace d7a6f57e22
Merge pull request #66952 from tadfisher/plata-theme
plata-theme: 0.8.8 -> 0.8.9
2019-08-20 00:48:56 -04:00
Jan Tojnar 50f2ecf823
joypixels: init at 5.0.2 2019-08-20 05:32:06 +02:00
José Romildo Malaquias 7d3f0203c9
Merge pull request #66013 from r-ryantm/auto-update/papirus-icon-theme
papirus-icon-theme: 20190615 -> 20190802
2019-08-19 18:52:34 -03:00
Tad Fisher db4049e2cd plata-theme: 0.8.8 -> 0.8.9 2019-08-19 10:29:11 -07:00
volth c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
Frederik Rietdijk fe9a3e3e63 Merge staging-next into staging 2019-08-17 09:39:23 +02:00
Frederik Rietdijk c68f58d95c Merge master into staging-next 2019-08-17 09:30:16 +02:00
Peter Simons 21a9aa0fcc all-cabal-hashes: update to Hackage at 2019-08-10T08:59:19Z 2019-08-16 19:54:42 +02:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Frederik Rietdijk 8d56f2472e Merge master into staging-next 2019-08-14 13:45:54 +02:00
Lancelot SIX 8791afb8e6
unifont_upper: 12.1.02 -> 12.1.03 2019-08-12 14:15:01 +02:00
Lancelot SIX f14b76634d
unifont: 12.1.01 -> 12.1.03 2019-08-12 14:15:01 +02:00
Frederik Rietdijk 9bd78cb048 Merge master into staging-next 2019-08-09 14:00:27 +02:00
Artem Vorotnikov d21d6544c3 zeal: use qt5's mkDerivation
ref #65399
2019-08-05 06:28:12 -04:00
R. RyanTM b3a44e1214 osinfo-db: 20190611 -> 20190726
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/osinfo-db/versions
2019-08-05 08:06:28 +02:00
Peter Simons 4201da90e8 all-cabal-hashes: update to Hackage at 2019-07-07T09:46:56Z 2019-08-05 07:54:35 +02:00
R. RyanTM 60fbce3122 papirus-icon-theme: 20190615 -> 20190802
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/papirus-icon-theme/versions
2019-08-04 21:30:21 -07:00
Maximilian Bosch 9605318b48
Merge pull request #65983 from r-ryantm/auto-update/man-pages
man-pages: 5.01 -> 5.02
2019-08-05 00:31:49 +02:00
R. RyanTM 58f7d41483 man-pages: 5.01 -> 5.02
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/man-pages/versions
2019-08-04 14:25:09 -07:00
R. RyanTM bfdca24dd3 terminus_font: 4.47 -> 4.48
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/terminus-font/versions
2019-08-04 05:23:28 -07:00
Frederik Rietdijk 4afe7a7bf3 Merge staging-next into staging 2019-08-03 07:48:19 +02:00
Frederik Rietdijk 53328909da Merge staging-next into master, closes #65497 2019-08-03 07:42:50 +02:00
xrelkd 49f281d287 font-awesome: 5.10.0 -> 5.10.1 2019-08-03 07:13:50 +02:00
Frederik Rietdijk 4ca8e53e1d Merge staging-next into staging 2019-08-01 09:44:06 +02:00
Frederik Rietdijk 55e4555b77 Merge master into staging-next 2019-08-01 09:42:54 +02:00
Jörg Thalheim 59ac7e1634
iana-etc: 20190504 -> 20190731 2019-08-01 08:08:21 +01:00
worldofpeace 76f4626e80
Merge pull request #65579 from tadfisher/plata-theme
plata-theme: 0.8.7 -> 0.8.8
2019-07-31 01:48:40 -04:00
Jörg Thalheim 344f0529ed
font-awesome_4: Readd, font-awesome_5: 5.9.0 -> 5.10.0 (#65240)
font-awesome_4: Readd, font-awesome_5: 5.9.0 -> 5.10.0
2019-07-30 08:31:41 +01:00
Daniel Schaefer 537403769c font-awesome: 5.9.0 -> 5.10.0
https://github.com/FortAwesome/Font-Awesome/releases/tag/5.10.0
2019-07-30 00:08:23 +02:00
Daniel Schaefer da40bc4449 font-awesome_4: Was removed, add again
Version 5 is incompatible for some icons, so projects that depend on it
need to actively convert the symbols, see:
https://github.com/greshake/i3status-rust/issues/130

Reintroducing the old version lets us use those programs that haven't
been updated.

Was removed in 0a393f53a9
2019-07-30 00:05:52 +02:00
Tad Fisher 363fb1e2af plata-theme: 0.8.7 -> 0.8.8 2019-07-29 14:44:52 -07:00
Frederik Rietdijk 34eebf6844 Merge master into staging-next 2019-07-25 11:52:18 +02:00
Orivej Desh 32fbbc6f9b Merge master into staging 2019-07-25 09:23:21 +00:00
worldofpeace 18cbb76f12
Merge pull request #64743 from spacekookie/google-fonts
google-fonts: 2018-07-13 -> 2019-07-14
2019-07-23 03:19:57 -04:00
worldofpeace b1bc0645ea gdk-pixbuf: rename from gdk_pixbuf 2019-07-22 18:50:57 -04:00
Frederik Rietdijk db6c38a075 Merge master into staging-next 2019-07-22 14:15:32 +02:00
José Romildo Malaquias a835adc10c
Merge pull request #64186 from tadfisher/plata-theme
plata-theme: 0.8.3 -> 0.8.7
2019-07-20 23:44:17 -03:00
Vladimír Čunát 5e9f1bb343
docbook5: 5.0 -> 5.0.1
Main reason: the previous source would not unpack with patched unzip:
https://github.com/NixOS/nixpkgs/commit/0238946872c1
2019-07-20 12:39:16 +02:00
Tad Fisher c8442c7f6a plata-theme: 0.8.3 -> 0.8.7 2019-07-19 11:30:16 -07:00
Will Dietz 0cd0869462 victor-mono: improvements from previous PR
Fixes #64465.

Resolves conflicts with earlier merged PR,
notable differences in the result
(by our powers combined!):

* provide both ttf and otf versions
* quote URL, since folks seem to like those
* don't put fonts in ${pname} subdirs
  fontconfig's hashing/cache is mostly geared
  for the many-fonts-in-one-place situation,
  although this may be fixed in more recent versions.
  Anyway minor change and mostly went with not modifying
  what I had ;) so happy to adjust back if that
  better matches your senses/style/use.
* Drop leading 'A' from description,
  I think this is per policy written.. somewhere O:).
* alpha-sort the meta attributes, which is easy to rem
  and generally matches what most expressions do anyway :)

Reviewer feedback:

* use subdirs with fontname, seems preferred
* fix indent, whoops
2019-07-18 18:46:40 -04:00
Robert Helgesson d7ef88bc38
fira-code: 1.206 -> 1.207 2019-07-18 23:36:51 +02:00
Katharina Fey 64cc2f9ee9
google-fonts: Removing fixed-output derivation 2019-07-14 22:45:54 +01:00
Katharina Fey 38bd8d3185
google-fonts: 2018-07-13 -> 2019-07-14 2019-07-14 22:45:44 +01:00
EEva (JPotier) 5e51a6073e victor-mono: init at 1.2.1 2019-07-13 11:58:34 -04:00
Ryan Mulligan 508ae42a0f treewide: fix redirect URLs 2019-07-10 12:52:51 -07:00
Frederik Rietdijk 74c24385cb Merge master into staging-next 2019-07-09 15:46:00 +02:00
worldofpeace 3752453b93
Merge pull request #64283 from tadeokondrak/adapta-backgrounds/update/0.5.3.1
adapta-backgrounds: 0.5.2.3 -> 0.5.3.1
2019-07-08 19:18:14 -04:00
Vladimír Čunát 0746c4dbb4
Merge branch 'master' into staging-next
There are several thousand rebuilds from master already.
Hydra nixpkgs: ?compare=1528940
2019-07-06 13:44:40 +02:00
José Romildo Malaquias 656e3b245f shades-of-gray-theme: 1.1.7 -> 1.1.8 2019-07-04 16:30:46 -03:00
worldofpeace 2f8ec3bbba
Merge pull request #63825 from JohnAZoidberg/gnome-user-docs
gnome3.gnome-user-docs: Add meta attributes
2019-07-04 05:49:47 -04:00
Tadeo Kondrak cfb340c077
adapta-backgrounds: 0.5.2.3 -> 0.5.3.1 2019-07-04 01:49:53 -06:00
Rok Garbas 65781e204d
Remove me (garbas) as maintainer since I don't have much time to maintain anything 2019-07-03 11:27:39 +02:00
Frederik Rietdijk 25a77b7210 Merge staging-next into staging 2019-07-03 08:59:42 +02:00
R. RyanTM 235bb7febd osinfo-db: 20190504 -> 20190611
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/osinfo-db/versions
2019-07-02 17:40:10 +02:00
José Romildo Malaquias 1556781737
Merge pull request #64104 from r-ryantm/auto-update/papirus-icon-theme
papirus-icon-theme: 20190521 -> 20190615
2019-07-02 07:54:02 -03:00
R. RyanTM 68c01eb0ec papirus-icon-theme: 20190521 -> 20190615
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/papirus-icon-theme/versions
2019-07-01 22:47:51 -07:00
worldofpeace 3f4a353737 treewide: use dontUnpack 2019-07-01 04:23:51 -04:00
worldofpeace 4d1f8e9bf0
Merge pull request #63770 from romildo/upd.matcha-gtk-theme
matcha: 2019_05_09 -> 2019-06-22
2019-06-27 18:11:55 -04:00
Vincent Laporte 85109b92cd
amiri: init at 0.111
Amiri is a classical Arabic typeface in Naskh style for typesetting books and
other running text.

Homepage: https://www.amirifont.org/
2019-06-27 08:03:06 +00:00
Daniel Schaefer da4aac76cf gnome3.gnome-user-docs: Add meta attributes 2019-06-27 00:06:34 +02:00
José Romildo Malaquias f0d7610c14 matcha: 2019_05_09 -> 2019-06-22 2019-06-25 08:55:54 -03:00
R. RyanTM b62fda7acf unifont_upper: 12.1.01 -> 12.1.02
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/unifont_upper/versions
2019-06-23 14:14:21 +02:00
Will Dietz 726a2a3dda
Merge pull request #63249 from r-ryantm/auto-update/spleen
spleen: 1.0.4 -> 1.0.5
2019-06-17 20:47:33 -05:00
R. RyanTM d852492c18 spleen: 1.0.4 -> 1.0.5
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/spleen/versions
2019-06-16 15:56:10 -07:00
volth f3282c8d1e treewide: remove unused variables (#63177)
* treewide: remove unused variables

* making ofborg happy
2019-06-16 19:59:05 +00:00
Peter Simons c2e65c0186 all-cabal-hashes: update to Hackage at 2019-06-14T00:22:02Z 2019-06-14 13:06:35 +00:00
Elis Hirwing 4bfbcdbe81
Merge pull request #62939 from ar1a/master
jost: init at 3.3
2019-06-13 08:29:28 +02:00
José Romildo Malaquias 9b97400633 papirus-icon-theme: add maintainer 2019-06-11 15:56:42 -03:00
José Romildo Malaquias 28915d1b5a papirus-icon-theme: restrict to linux platforms 2019-06-11 15:56:35 -03:00
José Romildo Malaquias 6c3550f8c7 papirus-icon-theme: use pname instead of name 2019-06-11 15:56:28 -03:00
José Romildo Malaquias 74617e517b papirus-icon-theme: 20190501 -> 20190521 2019-06-11 15:55:06 -03:00
Aria Edmonds 8e58a54b09 jost: init at 3.3 2019-06-10 16:02:28 +10:00
Vladimír Čunát 308706fe9e
Merge #62132: tetra-gtk-theme: 201905 -> 201905r1
And rename, without an alias (probably fine for this, I think).
2019-06-09 13:43:10 +02:00
Mario Rodas 699d75198d
mplus-outline-fonts: update homepage 2019-06-08 23:48:34 -05:00
Mario Rodas e99a196d61
kochi-substitute: update homepage 2019-06-08 23:48:03 -05:00
Mario Rodas 2840d0db8c
kochi-substitute-naga10: update homepage 2019-06-08 23:47:16 -05:00
Mario Rodas c0eaf5e917
mirrors: rename sourceforgejp to osdn
SourceForge.jp renamed to OSDN on May 11, 2015.
https://osdn.net/projects/sourceforge/news/24923
2019-06-08 23:25:47 -05:00
Franz Pletz c2e440d9d2
Merge pull request #62802 from dtzWill/update/wireless-regdb-2019-06-03
wireless-regdb: 2019-03-01 -> 2019-06-03
2019-06-07 11:25:06 +00:00
Vladimír Čunát 8f5edef47e
Merge branch 'staging-next' (PR #62209) 2019-06-07 08:07:10 +02:00
Will Dietz b791d03480
wireless-regdb: 2019-03-01 -> 2019-06-03 2019-06-06 22:48:51 -05:00
Will Dietz 08202a5fbc
public-sans: 1.004 -> 1.005
https://github.com/uswds/public-sans/releases/tag/v1.005
2019-06-06 21:48:04 -05:00
xrelkd 8b1b80ea3b font-awesome: 5.8.2 -> 5.9.0 2019-06-06 10:39:15 +08:00
Vladimír Čunát 576af17187
Merge branch 'master' into staging-next
Hydra nixpkgs: ?compare=1523575
2019-06-05 11:06:44 +02:00
Vladyslav M d0017d7b7e
Merge pull request #62678 from dtzWill/update/ibm-plex-2.0.0
ibm-plex: 1.4.1 -> 2.0.0
2019-06-05 10:14:00 +03:00
Will Dietz 2acfae695a
public-sans: 1.003 -> 1.004
https://github.com/uswds/public-sans/releases/tag/v1.004
2019-06-04 15:09:08 -05:00
Will Dietz b9c4cc1088
ibm-plex: 1.4.1 -> 2.0.0
https://github.com/IBM/plex/releases/tag/v2.0.0
2019-06-04 14:46:32 -05:00
Will Dietz 3aedbeb35b
Merge pull request #62240 from dtzWill/update/libertinus-6.9
libertinus: 6.8 -> 6.9
2019-06-04 01:30:39 -05:00
Will Dietz 6e5d5c0f22
Merge pull request #62241 from dtzWill/feature/national-parkface
national-park-typeface: init at 206464
2019-06-04 01:29:59 -05:00
Will Dietz 95fbb1207d
Merge pull request #62352 from dtzWill/update/inter-3.7
inter: 3.5 -> 3.7
2019-06-04 01:01:26 -05:00
Vladimír Čunát c4724fb7bc
Merge branch 'master' into staging-next
Hydra nixpkgs: ?compare=1523028
2019-06-03 10:01:25 +02:00
Nikolay Amiantov 226dc2178e xits-math: 1.108 -> 1.200 2019-06-02 21:56:56 +03:00
Will Dietz 138fd34f24
inter: 3.6 -> 3.7
https://github.com/rsms/inter/releases/tag/v3.7
2019-06-01 01:05:38 -05:00
Will Dietz 2eea963683
inter: 3.5 -> 3.6 2019-06-01 01:05:24 -05:00
Franz Pletz d6b10a59d3
Merge pull request #62327 from tadfisher/plata-theme
plata-theme: 0.8.0 -> 0.8.3
2019-05-31 23:08:37 +00:00
Tad Fisher 7d7baa1a61 plata-theme: 0.8.0 -> 0.8.3 2019-05-31 12:10:05 -07:00
Will Dietz 9a0cc071d4
Merge pull request #62195 from dtzWill/update/mno-1.0
mno16: init at 1.0
2019-05-30 22:35:34 -05:00
Will Dietz a5d19a22b5
Merge pull request #62197 from dtzWill/update/agave-10
agave: 009 -> v10
2019-05-30 22:34:27 -05:00
Will Dietz a538159fbf
national-park-typeface: init at 206464 2019-05-29 23:32:07 -05:00
Will Dietz 366478088c
libertinus: 6.8 -> 6.9
https://github.com/alif-type/libertinus/releases/tag/v6.9
2019-05-29 23:30:56 -05:00
Renaud d9d5c8d7dc
Merge pull request #62192 from dtzWill/update/mplus-063a
mplus-outline-fonts: 063 -> 063a
2019-05-29 17:09:21 +02:00
Will Dietz 94b155aa8b
agave: 009 -> v10 2019-05-28 20:21:39 -05:00
Will Dietz f0f6972dfd
mno16: init at 1.0 2019-05-28 20:05:46 -05:00
Will Dietz 064d157a85
mplus-outline-fonts: 063 -> 063a
https://osdn.net/projects/mplus-fonts/news/26002
(google translate helps for those who can't read this :))
2019-05-28 19:50:47 -05:00
José Romildo Malaquias b2ccf38d60 tetra-gtk-theme: 201905 -> 201905r1
- Rename to adementary-theme, following upstream
- Update to version 201905r1
2019-05-27 17:28:59 -03:00
c0bw3b fe154889d7 publicsuffix-list: init at 2019-05-24
Push #62070 to staging
2019-05-26 14:07:20 +02:00
Vladimír Čunát b4ae841b23
Merge branch 'staging-next' into staging 2019-05-26 09:48:55 +02:00
Frederik Rietdijk b2ab860db3 Merge master into staging-next 2019-05-25 12:38:00 +02:00
Matthew Bauer eea307ab17
Merge pull request #62017 from JohnAZoidberg/stdmanpages-license
stdmanpages: Use correct fdl12Plus license
2019-05-24 13:40:45 -05:00
Daniel Schaefer e5f2bea31b stdmanpages: Use correct fdl12Plus license
See: https://gcc.gnu.org/onlinedocs/libstdc++/
2019-05-24 19:51:50 +02:00
Peter Simons b93138e174 all-cabal-hashes: update to Hackage at 2019-05-24T00:09:15Z 2019-05-24 17:44:15 +02:00
Frederik Rietdijk 6e4e7c5dc6 Merge master into staging-next 2019-05-24 12:39:37 +02:00
Mario Rodas a4a5e9c65d
hanazono: 20141012 -> 20170904 2019-05-22 21:00:00 -05:00