Cannot build library that includes `HardwareSerial.h`

[zfields]

The "Blues Wireless Notecard" library (available from Library Manager) compiles without issue using the official Arduino RP2040 board support package.

Here is the error being generated:

Alternatives for HardwareSerial.h: []
ResolveLibrary(HardwareSerial.h)
  -> candidates: []
In file included from /home/zak/Development/Arduino/Apollo/Apollo.ino:1:
/home/zak/Development/Arduino/libraries/Blues_Wireless_Notecard/src/Notecard.h:32:10: fatal error: HardwareSerial.h: No such file or directory
   32 | #include <HardwareSerial.h>
      |          ^~~~~~~~~~~~~~~~~~
compilation terminated.
Using library Blues_Wireless_Notecard at version 1.3.2 in folder: /home/zak/Development/Arduino/libraries/Blues_Wireless_Notecard 
exit status 1
Error compiling for board Raspberry Pi Pico.

[earlephilhower]

Just added the missing redirect. Try w/git master. The examples I tried build fine now.